Jessica Davies

Publication Activity (10 Years)

Years Active: 2006-2021
Publications (10 Years): 2

Top Topics

Search Strategies

Computational Complexity

Optimization Algorithm

Top Venues

Int. J. Autom. Comput.

Publications

Pedro V. G. Batista, J. Patrick Laceby, Jessica Davies, Teotônio S. Carvalho, Diego Tassinari, Marx L. N. Silva, Nilton Curi, John N. Quinton
A framework for testing large-scale distributed soil erosion and sediment delivery models: Dealing with uncertainty in models and the observational data. Environ. Model. Softw. 137 (2021)
Krishnendu Chatterjee, Martin Chmelik, Jessica Davies
A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. AAAI (2016)
Krishnendu Chatterjee, Martin Chmelik, Jessica Davies
A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs. CoRR (2015)
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh, Lirong Xia
Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules. Artif. Intell. 217 (2014)
David Allouche, Isabelle André, Sophie Barbe, Jessica Davies, Simon de Givry, George Katsirelos, Barry O'Sullivan, Steven D. Prestwich, Thomas Schiex, Seydou Traoré
Computational protein design as an optimization problem. Artif. Intell. 212 (2014)
Fahiem Bacchus, Jessica Davies, Maria Tsimpoukelli, George Katsirelos
Relaxation Search: A Simple Way of Managing Optional Clauses. AAAI (2014)
Jessica Davies, Roger Dixon, Roger M. Goodall, Thomas Steffen
Multi-agent Control of High Redundancy Actuation. Int. J. Autom. Comput. 11 (1) (2014)
Jessica Davies, Fahiem Bacchus
Exploiting the Power of mip Solvers in maxsat. SAT (2013)
Jessica Davies, Fahiem Bacchus
Postponing Optimization to Speed Up MAXSAT Solving. CP (2013)
Jessica Davies, Nina Narodytska, Toby Walsh
Eliminating the Weakest Link: Making Manipulation Intractable? CoRR (2012)
Jessica Davies, Nina Narodytska, Toby Walsh
Eliminating the Weakest Link: Making Manipulation Intractable? AAAI (2012)
Jessica Davies, Fahiem Bacchus
Solving MAXSAT by Solving a Sequence of Simpler SAT Instances. CP (2011)
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh
Complexity of and Algorithms for Borda Manipulation. AAAI (2011)
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh
Complexity of and Algorithms for Borda Manipulation CoRR (2011)
Jessica Davies, Jeremy Cho, Fahiem Bacchus
Using Learnt Clauses in maxsat. CP (2010)
Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik
Exploiting resolution proofs to speed up LTL vacuity detection for BMC. Int. J. Softw. Tools Technol. Transf. 12 (5) (2010)
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh
An Empirical Study of Borda Manipulation CoRR (2010)
Jessica Davies, Thomas Steffen, Roger Dixon, Roger Goodall, Argyrios C. Zolotas
Active versus passive fault tolerant control of a High Redundancy Actuator. ECC (2009)
Jessica Davies, Fahiem Bacchus
Using More Reasoning to Improve #SAT Solving. AAAI (2007)
Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik
Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. FMCAD (2007)
Horst Samulowitz, Jessica Davies, Fahiem Bacchus
Preprocessing QBF. CP (2006)