Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Algorithms and Complexity Theory
  4. Local Consistency and SAT−Solvers

Local Consistency and SAT−Solvers

Peter Jeavons and Justyna Petke

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

Links

See Also

Back to Top