Justyna Petke : Publications
|
[1] |
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) |
|
[2] |
The order encoding: from tractable CSP to tractable SAT Justyna Petke and Peter Jeavons No. RR−11−04. DCS‚ University of Oxford. 2011. |
|
[3] |
Tractable Benchmarks For Constraint Programming Justyna Petke and Peter Jeavons No. RR−09−07. OUCL. 2009. |