Professor Peter Jeavons


Peter Jeavons, Justyna Petke: Local Consistency and SAT-Solvers. Journal of Artificial Intelligence Research (JAIR) 43: pp.329-351 (2012)

Peter Jeavons: Presenting Constraints. TABLEAUX 2009: Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, Oslo, Norway. Proceedings. Lecture Notes in Computer Science 5607 Springer, pp.1-15 (2009)

Ferdinand Börner, Andrei A. Bulatov, Hubie Chen, Peter Jeavons, Andrei A. Krokhin: The complexity of constraint satisfaction games and QCSP. Information & Computation 207(9): pp.923-944 (2009)

Gaofeng Huang, Peter Jeavons, Dominic Kwiatkowski: Exact and Heuristic Approaches for Identifying Disease-Associated SNP Motifs. APBC 2007: Proceedings of 5th Asia-Pacific Bioinformatics Conference, Hong Kong, China. Advances in Bioinformatics and Computational Biology 5, Imperial College Press, pp.175-184 (2007)

A full list of Professor Jeavons' publications can be found online here.

Peter Jeavons

Contact Professor Jeavons: