| 2016 | AAAI | A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. | Krishnendu Chatterjee, Martin Chmelik, Jessica Davies |
| 2014 | AAAI | Relaxation Search: A Simple Way of Managing Optional Clauses. | Fahiem Bacchus, Jessica Davies, Maria Tsimpoukelli, George Katsirelos |
| 2013 | CP | Postponing Optimization to Speed Up MAXSAT Solving. | Jessica Davies, Fahiem Bacchus |
| 2013 | SAT | Exploiting the Power of mip Solvers in maxsat. | Jessica Davies, Fahiem Bacchus |
| 2012 | AAAI | Eliminating the Weakest Link: Making Manipulation Intractable? | Jessica Davies, Nina Narodytska, Toby Walsh |
| 2011 | AAAI | Complexity of and Algorithms for Borda Manipulation. | Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh |
| 2011 | CP | Solving MAXSAT by Solving a Sequence of Simpler SAT Instances. | Jessica Davies, Fahiem Bacchus |
| 2010 | CP | Using Learnt Clauses in maxsat. | Jessica Davies, Jeremy Cho, Fahiem Bacchus |
| 2007 | AAAI | Using More Reasoning to Improve #SAT Solving. | Jessica Davies, Fahiem Bacchus |
| 2007 | FMCAD | Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. | Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik |
| 2006 | CP | Preprocessing QBF. | Horst Samulowitz, Jessica Davies, Fahiem Bacchus |