Justyna Petke : Publications
|
[1] |
Local consistency and SAT−solvers Peter Jeavons and Justyna Petke In Journal of Artificial Intelligence Research (JAIR). Vol. 43. Pages 329−351. 2012. |
|
[2] |
The order encoding: from tractable CSP to tractable SAT (extended abstract) Justyna Petke and Peter Jeavons In Proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing − SAT 2011. Vol. 6695 of Lecture Notes in Computer Science. Pages 371−372. Springer. 2011. |
|
[3] |
The order encoding: from tractable CSP to tractable SAT Justyna Petke and Peter Jeavons No. RR−11−04. DCS‚ University of Oxford. 2011. |
|
[4] |
Local consistency and SAT−solvers Peter Jeavons and Justyna Petke In Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming − CP 2010. Vol. 6308 of Lecture Notes in Computer Science. Pages 398−413. Springer. 2010. Details | BibTeX | Download (pdf) | DOI (10.1007/978-3-642-15396-9_33) |
|
[5] |
Tractable Benchmarks For Constraint Programming Justyna Petke and Peter Jeavons No. RR−09−07. OUCL. 2009. |