Jessica Davies

According to our database, Jessica Davies authored at least 15 papers between 2006 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs.

Krishnendu Chatterjee, Martin Chmelik, Jessica Davies

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2014

Solving MAXSAT by Decoupling Optimization and Satisfaction.

Jessica Davies

PhD thesis, 2014

Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules.

Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh, Lirong Xia

Artif. Intell., 2014

Computational protein design as an optimization problem.

David Allouche, Isabelle André, Sophie Barbe, Jessica Davies, Simon de Givry, George Katsirelos, Barry O'Sullivan, Steven D. Prestwich, Thomas Schiex, Seydou Traoré

Artif. Intell., 2014

Relaxation Search: A Simple Way of Managing Optional Clauses.

Fahiem Bacchus, Jessica Davies, Maria Tsimpoukelli, George Katsirelos

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Exploiting the Power of mip Solvers in maxsat.

Jessica Davies, Fahiem Bacchus

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Postponing Optimization to Speed Up MAXSAT Solving.

Jessica Davies, Fahiem Bacchus

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

Eliminating the Weakest Link: Making Manipulation Intractable?

Jessica Davies, Nina Narodytska, Toby Walsh

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Solving MAXSAT by Solving a Sequence of Simpler SAT Instances.

Jessica Davies, Fahiem Bacchus

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

Complexity of and Algorithms for Borda Manipulation.

Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Exploiting resolution proofs to speed up LTL vacuity detection for BMC.

Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik

Int. J. Softw. Tools Technol. Transf., 2010

An Empirical Study of Borda Manipulation

Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh

CoRR, 2010

Using Learnt Clauses in maxsat.

Jessica Davies, Jeremy Cho, Fahiem Bacchus

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2007

Using More Reasoning to Improve #SAT Solving.

Jessica Davies, Fahiem Bacchus

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Preprocessing QBF.

Horst Samulowitz, Jessica Davies, Fahiem Bacchus

Proceedings of the Principles and Practice of Constraint Programming, 2006