Favier, A., de Givry, S., & Jégou, P. (2011). Solution Counting for CSP and SAT with Large Tree-Width. Управляющие системы и машины.
Chicago-Zitierstil (17. Ausg.)Favier, A., S. de Givry, und P. Jégou. "Solution Counting for CSP and SAT with Large Tree-Width." Управляющие системы и машины 2011.
MLA-Zitierstil (8. Ausg.)Favier, A., et al. "Solution Counting for CSP and SAT with Large Tree-Width." Управляющие системы и машины, 2011.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.