The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jessica Davies" ( http://dblp.L3S.de/Authors/Jessica_Davies )

  Author page on DBLP  Author page in RDF  Community of Jessica Davies in ASPL-2

Publication years (Num. hits)
2006-2014 (17) 2015-2016 (2)
Publication types (Num. hits)
article(7) inproceedings(12)
Venues (Conferences, Journals, ...)
AAAI(5) CoRR(4) CP(4) Artif. Intell.(2) ECC(1) FMCAD(1) SAT(1) STTT(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 20 publication records. Showing 19 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Krishnendu Chatterjee, Martin Chmelik, Jessica Davies A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Martin Chmelik, Jessica Davies A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1David 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. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jessica 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. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fahiem Bacchus, Jessica Davies, Maria Tsimpoukelli, George Katsirelos Relaxation Search: A Simple Way of Managing Optional Clauses. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Jessica Davies, Fahiem Bacchus Exploiting the Power of mip Solvers in maxsat. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jessica Davies, Fahiem Bacchus Postponing Optimization to Speed Up MAXSAT Solving. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jessica Davies, Nina Narodytska, Toby Walsh Eliminating the Weakest Link: Making Manipulation Intractable? Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Jessica Davies, Nina Narodytska, Toby Walsh Eliminating the Weakest Link: Making Manipulation Intractable? Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh Complexity of and Algorithms for Borda Manipulation Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh Complexity of and Algorithms for Borda Manipulation. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Jessica Davies, Fahiem Bacchus Solving MAXSAT by Solving a Sequence of Simpler SAT Instances. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik Exploiting resolution proofs to speed up LTL vacuity detection for BMC. Search on Bibsonomy STTT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh An Empirical Study of Borda Manipulation Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Jessica Davies, Jeremy Cho, Fahiem Bacchus Using Learnt Clauses in maxsat. Search on Bibsonomy CP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jessica Davies, Thomas Steffen, Roger Dixon, Roger Goodall, Argyrios C. Zolotas Active versus passive fault tolerant control of a High Redundancy Actuator. Search on Bibsonomy ECC The full citation details ... 2009 DBLP  BibTeX  RDF
1Jessica Davies, Fahiem Bacchus Using More Reasoning to Improve #SAT Solving. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. Search on Bibsonomy FMCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Horst Samulowitz, Jessica Davies, Fahiem Bacchus Preprocessing QBF. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #19 of 19 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license