Jessica Davies

19 papers A* 5A 5B 1Journal 7
YearRankTypeTitle / Venue / Authors
2016 A* conf
A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs.
AAAI
Krishnendu Chatterjee, Martin Chmelik, Jessica Davies
2015 J jnl
A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs.
CoRR
Krishnendu Chatterjee, Martin Chmelik, Jessica Davies
2014 J jnl
Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules.
Artif. Intell.
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh, Lirong Xia
2014 J jnl
Computational protein design as an optimization problem.
Artif. Intell.
David Allouche, Isabelle André, Sophie Barbe, Jessica Davies, Simon de Givry, George Katsirelos, Barry O'Sullivan, Steven D. Prestwich, Thomas Schiex, Seydou Traoré
2014 A* conf
Relaxation Search: A Simple Way of Managing Optional Clauses.
AAAI
Fahiem Bacchus, Jessica Davies, Maria Tsimpoukelli, George Katsirelos
2014 — —
Solving MAXSAT by Decoupling Optimization and Satisfaction.
Jessica Davies
2013 A conf
Exploiting the Power of mip Solvers in maxsat.
SAT
Jessica Davies, Fahiem Bacchus
2013 A conf
Postponing Optimization to Speed Up MAXSAT Solving.
CP
Jessica Davies, Fahiem Bacchus
2012 A* conf
Eliminating the Weakest Link: Making Manipulation Intractable?
AAAI
Jessica Davies, Nina Narodytska, Toby Walsh
2012 J jnl
Eliminating the Weakest Link: Making Manipulation Intractable?
CoRR
Jessica Davies, Nina Narodytska, Toby Walsh
2011 J jnl
Complexity of and Algorithms for Borda Manipulation
CoRR
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh
2011 A* conf
Complexity of and Algorithms for Borda Manipulation.
AAAI
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh
2011 A conf
Solving MAXSAT by Solving a Sequence of Simpler SAT Instances.
CP
Jessica Davies, Fahiem Bacchus
2010 J jnl
An Empirical Study of Borda Manipulation
CoRR
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh
2010 J jnl
Exploiting resolution proofs to speed up LTL vacuity detection for BMC.
Int. J. Softw. Tools Technol. Transf.
Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik
2010 A conf
Using Learnt Clauses in maxsat.
CP
Jessica Davies, Jeremy Cho, Fahiem Bacchus
2007 B conf
Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC.
FMCAD
Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik
2007 A* conf
Using More Reasoning to Improve #SAT Solving.
AAAI
Jessica Davies, Fahiem Bacchus
2006 A conf
Preprocessing QBF.
CP
Horst Samulowitz, Jessica Davies, Fahiem Bacchus