Jeavons, P., & Petke, J. (2012). Local consistency and SAT−solvers.
Цитирование в стиле Чикаго (17-е изд.)Jeavons, P., и J. Petke. Local Consistency and SAT−solvers. 2012.
Цитирование MLA (9-е изд.)Jeavons, P., и J. Petke. Local Consistency and SAT−solvers. 2012.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.