Preprocessing QBF. - Horst Samulowitz; Jessica Davies 001; Fahiem Bacchus (CP, 2006)

Using More Reasoning to Improve #SAT Solving. - Jessica Davies 001; Fahiem Bacchus (AAAI, 2007)

Using Learnt Clauses in maxsat. - Jessica Davies 001; Jeremy Cho; Fahiem Bacchus (CP, 2010)

An Empirical Study of Borda Manipulation - Jessica Davies 001; George Katsirelos; Nina Narodytska; Toby Walsh (CoRR, 2010)

Exploiting resolution proofs to speed up LTL vacuity detection for BMC. - Jocelyn Simmonds; Jessica Davies 001; Arie Gurfinkel; Marsha Chechik (Int. J. Softw. Tools Technol. Transf., 2010)

Complexity of and Algorithms for Borda Manipulation. - Jessica Davies 001; George Katsirelos; Nina Narodytska; Toby Walsh (AAAI, 2011)

Solving MAXSAT by Solving a Sequence of Simpler SAT Instances. - Jessica Davies 001; Fahiem Bacchus (CP, 2011)

Eliminating the Weakest Link: Making Manipulation Intractable? - Jessica Davies 001; Nina Narodytska; Toby Walsh (AAAI, 2012)

Postponing Optimization to Speed Up MAXSAT Solving. - Jessica Davies 001; Fahiem Bacchus (CP, 2013)

Exploiting the Power of mip Solvers in maxsat. - Jessica Davies 001; Fahiem Bacchus (SAT, 2013)

Relaxation Search: A Simple Way of Managing Optional Clauses. - Fahiem Bacchus; Jessica Davies 001; Maria Tsimpoukelli; George Katsirelos (AAAI, 2014)

Computational protein design as an optimization problem. - David Allouche; Isabelle André; Sophie Barbe; Jessica Davies 001; Simon de Givry; George Katsirelos; Barry O'Sullivan; Steven D. Prestwich; Thomas Schiex; Seydou Traoré (Artif. Intell., 2014)

Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules. - Jessica Davies 001; George Katsirelos; Nina Narodytska; Toby Walsh; Lirong Xia (Artif. Intell., 2014)

Solving MAXSAT by Decoupling Optimization and Satisfaction. - Jessica Davies 001 (2014)

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