Davies, Jessica

5 publications

AAAI 2016 A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs Krishnendu Chatterjee, Martin Chmelik, Jessica Davies

AAAI 2014 Relaxation Search: A Simple Way of Managing Optional Clauses Fahiem Bacchus, Jessica Davies, Maria Tsimpoukelli, George Katsirelos

AAAI 2012 Eliminating the Weakest Link: Making Manipulation Intractable? Jessica Davies, Nina Narodytska, Toby Walsh

AAAI 2011 Complexity of and Algorithms for Borda Manipulation Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh

AAAI 2007 Using More Reasoning to Improve #SAT Solving Jessica Davies, Fahiem Bacchus