Jessica Davies
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2016
- [c12]Krishnendu Chatterjee, Martin Chmelik, Jessica Davies:
A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. AAAI 2016: 3225-3232 - 2015
- [i4]Krishnendu Chatterjee, Martin Chmelik, Jessica Davies:
A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs. CoRR abs/1511.08456 (2015) - 2014
- [j3]David Allouche, Isabelle André, Sophie Barbe, Jessica Davies, Simon de Givry, George Katsirelos, Barry O'Sullivan, Steven David Prestwich, Thomas Schiex, Seydou Traoré:
Computational protein design as an optimization problem. Artif. Intell. 212: 59-79 (2014) - [j2]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: 20-42 (2014) - [c11]Fahiem Bacchus, Jessica Davies, Maria Tsimpoukelli, George Katsirelos:
Relaxation Search: A Simple Way of Managing Optional Clauses. AAAI 2014: 835-841 - 2013
- [c10]Jessica Davies, Fahiem Bacchus:
Postponing Optimization to Speed Up MAXSAT Solving. CP 2013: 247-262 - [c9]
- 2012
- [c8]Jessica Davies, Nina Narodytska, Toby Walsh:
Eliminating the Weakest Link: Making Manipulation Intractable? AAAI 2012 - [i3]Jessica Davies, Nina Narodytska, Toby Walsh:
Eliminating the Weakest Link: Making Manipulation Intractable? CoRR abs/1204.3918 (2012) - 2011
- [c7]Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh:
Complexity of and Algorithms for Borda Manipulation. AAAI 2011 - [c6]Jessica Davies, Fahiem Bacchus:
Solving MAXSAT by Solving a Sequence of Simpler SAT Instances. CP 2011: 225-239 - [i2]Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh:
Complexity of and Algorithms for Borda Manipulation. CoRR abs/1105.5667 (2011) - 2010
- [j1]Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik:
Exploiting resolution proofs to speed up LTL vacuity detection for BMC. STTT 12(5): 319-335 (2010) - [c5]
- [i1]Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh:
An Empirical Study of Borda Manipulation. CoRR abs/1007.5104 (2010)
2000 – 2009
- 2009
- [c4]Jessica Davies, Thomas Steffen, Roger Dixon, Roger Goodall, Argyrios C. Zolotas:
Active versus passive fault tolerant control of a High Redundancy Actuator. ECC 2009: 3671-3676 - 2007
- [c3]
- [c2]Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik:
Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. FMCAD 2007: 3-12 - 2006
- [c1]
Coauthor Index
last updated on 2019-02-13 21:41 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint