Justyna Petke
|
Room 352, Wolfson Building, Parks Road, Oxford OX1 3QD |
Selected Publications
| Local consistency and SAT−solvers Peter Jeavons and Justyna Petke In Journal of Artificial Intelligence Research (JAIR). Vol. 43. Pages 329−351. 2012. |
| 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. |
| The order encoding: from tractable CSP to tractable SAT Justyna Petke and Peter Jeavons No. RR−11−04. DCS‚ University of Oxford. 2011. |
Info
|
Themes |
|
|
Activities |
|
|
Supervisor |
|
