Jessica Davies

Solving MAXSAT by Decoupling Optimization and Satisfaction

Jessica Davies, 2014 .

AQ T REE : Efficient Vacuity Detection for Bounded Model Checking

A. Gurfinkel, Jessica Davies, J. Simmonds, 2022 .

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

Krishnendu Chatterjee, Martin Chmelik, Jessica Davies, 2015, AAAI.

Computational protein design as an optimization problem

Simon de Givry, Thomas Schiex, Barry O'Sullivan, 2014, Artif. Intell..

Complexity of and Algorithms for Borda Manipulation pdf

Toby Walsh, Nina Narodytska, George Katsirelos, 2011, AAAI.

Relaxation Search: A Simple Way of Managing Optional Clauses

Fahiem Bacchus, George Katsirelos, Jessica Davies, 2014, AAAI.

Solving MAXSAT by Solving a Sequence of Simpler SAT Instances

Fahiem Bacchus, Jessica Davies, F. Bacchus, 2011, CP.

Exploiting resolution proofs to speed up LTL vacuity detection for BMC

Marsha Chechik, Jocelyn Simmonds, Arie Gurfinkel, 2007, Formal Methods in Computer Aided Design (FMCAD'07).

Distributional Importance Sampling for Approximate Weighted Model Counting

Fahiem Bacchus, F. Bacchus, Jessica Davies, 2008 .