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% үнэн зөв биш байж магадгүй.