APA (7th ed.) Citation

Favier, A., de Givry, S., & Jégou, P. (2011). Solution Counting for CSP and SAT with Large Tree-Width. Управляющие системы и машины.

Chicago Style (17th ed.) Citation

Favier, A., S. de Givry, and P. Jégou. "Solution Counting for CSP and SAT with Large Tree-Width." Управляющие системы и машины 2011.

MLA (8th ed.) Citation

Favier, A., et al. "Solution Counting for CSP and SAT with Large Tree-Width." Управляющие системы и машины, 2011.

Warning: These citations may not always be 100% accurate.