ask others

Jessica Davies

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2016
[c12]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/aaai/ChatterjeeCD16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aaai/ChatterjeeCD16
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/ChatterjeeCD15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/ChatterjeeCD15
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ai/AlloucheABDGKOPST14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ai/AlloucheABDGKOPST14
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ai/DaviesKNWX14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ai/DaviesKNWX14
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]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/aaai/BacchusDTK14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aaai/BacchusDTK14
Fahiem Bacchus, Jessica Davies, Maria Tsimpoukelli, George Katsirelos:
Relaxation Search: A Simple Way of Managing Optional Clauses. AAAI 2014: 835-841
2013
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cp/DaviesB13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cp/DaviesB13
Jessica Davies, Fahiem Bacchus:
Postponing Optimization to Speed Up MAXSAT Solving. CP 2013: 247-262
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/DaviesB13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sat/DaviesB13
Jessica Davies, Fahiem Bacchus:
Exploiting the Power of mip Solvers in maxsat. SAT 2013: 166-181
2012
[c8]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/aaai/DaviesNW12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aaai/DaviesNW12
Jessica Davies, Nina Narodytska, Toby Walsh:
Eliminating the Weakest Link: Making Manipulation Intractable? AAAI 2012
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1204-3918
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1204-3918
Jessica Davies, Nina Narodytska, Toby Walsh:
Eliminating the Weakest Link: Making Manipulation Intractable? CoRR abs/1204.3918 (2012)
2011
[c7]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/aaai/DaviesKNW11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aaai/DaviesKNW11
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh:
Complexity of and Algorithms for Borda Manipulation. AAAI 2011
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cp/DaviesB11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cp/DaviesB11
Jessica Davies, Fahiem Bacchus:
Solving MAXSAT by Solving a Sequence of Simpler SAT Instances. CP 2011: 225-239
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1105-5667
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1105-5667
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh:
Complexity of and Algorithms for Borda Manipulation. CoRR abs/1105.5667 (2011)
2010
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/SimmondsDGC10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/SimmondsDGC10
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cp/DaviesCB10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cp/DaviesCB10
Jessica Davies, Jeremy Cho, Fahiem Bacchus:
Using Learnt Clauses in maxsat. CP 2010: 176-190
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1007-5104
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1007-5104
Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh:
An Empirical Study of Borda Manipulation. CoRR abs/1007.5104 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c4]
- view
  - electronic edition @ ieee.org
- export record
  dblp key:
  - conf/eucc/DaviesSDGZ09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/eucc/DaviesSDGZ09
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]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/aaai/DaviesB07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aaai/DaviesB07
Jessica Davies, Fahiem Bacchus:
Using More Reasoning to Improve #SAT Solving. AAAI 2007: 185-190
[c2]
- view
- export record
  dblp key:
  - conf/fmcad/SimmondsDGC07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fmcad/SimmondsDGC07
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cp/SamulowitzDB06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cp/SamulowitzDB06
Horst Samulowitz, Jessica Davies, Fahiem Bacchus:
Preprocessing QBF. CP 2006: 514-529

maintained by

, founded at