Justyna Petke
|
Room 352, Wolfson Building, Parks Road, Oxford OX1 3QD |
Selected Publications
| The order encoding: from tractable CSP to tractable SAT Justyna Petke and Peter Jeavons No. RR−11−04. DCS‚ University of Oxford. 2011. |
| 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) |
| Tractable Benchmarks For Constraint Programming Justyna Petke and Peter Jeavons No. RR−09−07. OUCL. 2009. |
Info
|
Themes |
|
|
Activities |
|
|
Supervisor |
|
