Skip to main content

Local Consistency and SAT−Solvers

Peter Jeavons and Justyna Petke

Journal
Journal of Artificial Intelligence Research (JAIR)
Pages
329−351
Volume
43
Year
2012