BibTeX records: Jessica Davies

download as .bib file

@inproceedings{DBLP:conf/aaai/ChatterjeeCD16,
  author    = {Krishnendu Chatterjee and
               Martin Chmelik and
               Jessica Davies},
  title     = {A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small
               Strategies in POMDPs},
  booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
               February 12-17, 2016, Phoenix, Arizona, {USA.}},
  pages     = {3225--3232},
  year      = {2016},
  crossref  = {DBLP:conf/aaai/2016},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12218},
  timestamp = {Wed, 05 Apr 2017 12:53:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/ChatterjeeCD16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChatterjeeCD15,
  author    = {Krishnendu Chatterjee and
               Martin Chmelik and
               Jessica Davies},
  title     = {A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small
               Strategies in POMDPs},
  journal   = {CoRR},
  volume    = {abs/1511.08456},
  year      = {2015},
  url       = {http://arxiv.org/abs/1511.08456},
  archivePrefix = {arXiv},
  eprint    = {1511.08456},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/ChatterjeeCD15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AlloucheABDGKOPST14,
  author    = {David Allouche and
               Isabelle Andr{\'{e}} and
               Sophie Barbe and
               Jessica Davies and
               Simon de Givry and
               George Katsirelos and
               Barry O'Sullivan and
               Steven David Prestwich and
               Thomas Schiex and
               Seydou Traor{\'{e}}},
  title     = {Computational protein design as an optimization problem},
  journal   = {Artif. Intell.},
  volume    = {212},
  pages     = {59--79},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.artint.2014.03.005},
  doi       = {10.1016/j.artint.2014.03.005},
  timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ai/AlloucheABDGKOPST14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/DaviesKNWX14,
  author    = {Jessica Davies and
               George Katsirelos and
               Nina Narodytska and
               Toby Walsh and
               Lirong Xia},
  title     = {Complexity of and algorithms for the manipulation of Borda, Nanson's
               and Baldwin's voting rules},
  journal   = {Artif. Intell.},
  volume    = {217},
  pages     = {20--42},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.artint.2014.07.005},
  doi       = {10.1016/j.artint.2014.07.005},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/DaviesKNWX14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BacchusDTK14,
  author    = {Fahiem Bacchus and
               Jessica Davies and
               Maria Tsimpoukelli and
               George Katsirelos},
  title     = {Relaxation Search: {A} Simple Way of Managing Optional Clauses},
  booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
               July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada.},
  pages     = {835--841},
  year      = {2014},
  crossref  = {DBLP:conf/aaai/2014},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8618},
  timestamp = {Thu, 31 Jul 2014 08:59:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/BacchusDTK14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DaviesB13,
  author    = {Jessica Davies and
               Fahiem Bacchus},
  title     = {Postponing Optimization to Speed Up {MAXSAT} Solving},
  booktitle = {Principles and Practice of Constraint Programming - 19th International
               Conference, {CP} 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings},
  pages     = {247--262},
  year      = {2013},
  crossref  = {DBLP:conf/cp/2013},
  url       = {https://doi.org/10.1007/978-3-642-40627-0_21},
  doi       = {10.1007/978-3-642-40627-0_21},
  timestamp = {Tue, 26 Dec 2017 15:02:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cp/DaviesB13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/DaviesB13,
  author    = {Jessica Davies and
               Fahiem Bacchus},
  title     = {Exploiting the Power of mip Solvers in maxsat},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
               International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
  pages     = {166--181},
  year      = {2013},
  crossref  = {DBLP:conf/sat/2013},
  url       = {https://doi.org/10.1007/978-3-642-39071-5_13},
  doi       = {10.1007/978-3-642-39071-5_13},
  timestamp = {Thu, 15 Jun 2017 21:39:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sat/DaviesB13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DaviesNW12,
  author    = {Jessica Davies and
               Nina Narodytska and
               Toby Walsh},
  title     = {Eliminating the Weakest Link: Making Manipulation Intractable?},
  booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
               July 22-26, 2012, Toronto, Ontario, Canada.},
  year      = {2012},
  crossref  = {DBLP:conf/aaai/2012},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5051},
  timestamp = {Thu, 31 Jul 2014 11:17:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/DaviesNW12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-3918,
  author    = {Jessica Davies and
               Nina Narodytska and
               Toby Walsh},
  title     = {Eliminating the Weakest Link: Making Manipulation Intractable?},
  journal   = {CoRR},
  volume    = {abs/1204.3918},
  year      = {2012},
  url       = {http://arxiv.org/abs/1204.3918},
  archivePrefix = {arXiv},
  eprint    = {1204.3918},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1204-3918},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DaviesKNW11,
  author    = {Jessica Davies and
               George Katsirelos and
               Nina Narodytska and
               Toby Walsh},
  title     = {Complexity of and Algorithms for Borda Manipulation},
  booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
  year      = {2011},
  crossref  = {DBLP:conf/aaai/2011},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3613},
  timestamp = {Tue, 09 Aug 2011 07:56:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/DaviesKNW11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DaviesB11,
  author    = {Jessica Davies and
               Fahiem Bacchus},
  title     = {Solving {MAXSAT} by Solving a Sequence of Simpler {SAT} Instances},
  booktitle = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
               International Conference, {CP} 2011, Perugia, Italy, September 12-16,
               2011. Proceedings},
  pages     = {225--239},
  year      = {2011},
  crossref  = {DBLP:conf/cp/2011},
  url       = {https://doi.org/10.1007/978-3-642-23786-7_19},
  doi       = {10.1007/978-3-642-23786-7_19},
  timestamp = {Wed, 17 May 2017 14:24:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/DaviesB11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-5667,
  author    = {Jessica Davies and
               George Katsirelos and
               Nina Narodytska and
               Toby Walsh},
  title     = {Complexity of and Algorithms for Borda Manipulation},
  journal   = {CoRR},
  volume    = {abs/1105.5667},
  year      = {2011},
  url       = {http://arxiv.org/abs/1105.5667},
  archivePrefix = {arXiv},
  eprint    = {1105.5667},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1105-5667},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SimmondsDGC10,
  author    = {Jocelyn Simmonds and
               Jessica Davies and
               Arie Gurfinkel and
               Marsha Chechik},
  title     = {Exploiting resolution proofs to speed up {LTL} vacuity detection for
               {BMC}},
  journal   = {{STTT}},
  volume    = {12},
  number    = {5},
  pages     = {319--335},
  year      = {2010},
  url       = {https://doi.org/10.1007/s10009-009-0134-1},
  doi       = {10.1007/s10009-009-0134-1},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/SimmondsDGC10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DaviesCB10,
  author    = {Jessica Davies and
               Jeremy Cho and
               Fahiem Bacchus},
  title     = {Using Learnt Clauses in maxsat},
  booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th
               International Conference, {CP} 2010, St. Andrews, Scotland, UK, September
               6-10, 2010. Proceedings},
  pages     = {176--190},
  year      = {2010},
  crossref  = {DBLP:conf/cp/2010},
  url       = {https://doi.org/10.1007/978-3-642-15396-9_17},
  doi       = {10.1007/978-3-642-15396-9_17},
  timestamp = {Wed, 17 May 2017 14:24:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/DaviesCB10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-5104,
  author    = {Jessica Davies and
               George Katsirelos and
               Nina Narodytska and
               Toby Walsh},
  title     = {An Empirical Study of Borda Manipulation},
  journal   = {CoRR},
  volume    = {abs/1007.5104},
  year      = {2010},
  url       = {http://arxiv.org/abs/1007.5104},
  archivePrefix = {arXiv},
  eprint    = {1007.5104},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1007-5104},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DaviesB07,
  author    = {Jessica Davies and
               Fahiem Bacchus},
  title     = {Using More Reasoning to Improve {\#}SAT Solving},
  booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
               July 22-26, 2007, Vancouver, British Columbia, Canada},
  pages     = {185--190},
  year      = {2007},
  crossref  = {DBLP:conf/aaai/2007},
  url       = {http://www.aaai.org/Library/AAAI/2007/aaai07-028.php},
  timestamp = {Mon, 10 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/DaviesB07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SimmondsDGC07,
  author    = {Jocelyn Simmonds and
               Jessica Davies and
               Arie Gurfinkel and
               Marsha Chechik},
  title     = {Exploiting Resolution Proofs to Speed Up {LTL} Vacuity Detection for
               {BMC}},
  booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
               {FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
  pages     = {3--12},
  year      = {2007},
  crossref  = {DBLP:conf/fmcad/2007},
  url       = {https://doi.org/10.1109/FAMCAD.2007.16},
  doi       = {10.1109/FAMCAD.2007.16},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/SimmondsDGC07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SamulowitzDB06,
  author    = {Horst Samulowitz and
               Jessica Davies and
               Fahiem Bacchus},
  title     = {Preprocessing {QBF}},
  booktitle = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
               International Conference, {CP} 2006, Nantes, France, September 25-29,
               2006, Proceedings},
  pages     = {514--529},
  year      = {2006},
  crossref  = {DBLP:conf/cp/2006},
  url       = {https://doi.org/10.1007/11889205_37},
  doi       = {10.1007/11889205_37},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/SamulowitzDB06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2016,
  editor    = {Dale Schuurmans and
               Michael P. Wellman},
  title     = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
               February 12-17, 2016, Phoenix, Arizona, {USA}},
  publisher = {{AAAI} Press},
  year      = {2016},
  url       = {http://www.aaai.org/Library/AAAI/aaai16contents.php},
  isbn      = {978-1-57735-760-5},
  timestamp = {Wed, 05 Apr 2017 12:53:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2014,
  editor    = {Carla E. Brodley and
               Peter Stone},
  title     = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
               July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
  publisher = {{AAAI} Press},
  year      = {2014},
  url       = {http://www.aaai.org/Library/AAAI/aaai14contents.php},
  isbn      = {978-1-57735-661-5},
  timestamp = {Thu, 31 Jul 2014 08:59:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2013,
  editor    = {Christian Schulte},
  title     = {Principles and Practice of Constraint Programming - 19th International
               Conference, {CP} 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8124},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40627-0},
  doi       = {10.1007/978-3-642-40627-0},
  isbn      = {978-3-642-40626-3},
  timestamp = {Tue, 26 Dec 2017 15:02:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2013,
  editor    = {Matti J{\"{a}}rvisalo and
               Allen Van Gelder},
  title     = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
               International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7962},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39071-5},
  doi       = {10.1007/978-3-642-39071-5},
  isbn      = {978-3-642-39070-8},
  timestamp = {Thu, 15 Jun 2017 21:39:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sat/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2012,
  editor    = {J{\"{o}}rg Hoffmann and
               Bart Selman},
  title     = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
               July 22-26, 2012, Toronto, Ontario, Canada},
  publisher = {{AAAI} Press},
  year      = {2012},
  timestamp = {Thu, 31 Jul 2014 11:17:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2011,
  editor    = {Wolfram Burgard and
               Dan Roth},
  title     = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
  publisher = {{AAAI} Press},
  year      = {2011},
  timestamp = {Tue, 09 Aug 2011 07:56:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2011,
  editor    = {Jimmy Ho{-}Man Lee},
  title     = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
               International Conference, {CP} 2011, Perugia, Italy, September 12-16,
               2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6876},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-23786-7},
  doi       = {10.1007/978-3-642-23786-7},
  isbn      = {978-3-642-23785-0},
  timestamp = {Wed, 17 May 2017 14:24:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2010,
  editor    = {David Cohen},
  title     = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th
               International Conference, {CP} 2010, St. Andrews, Scotland, UK, September
               6-10, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6308},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15396-9},
  doi       = {10.1007/978-3-642-15396-9},
  isbn      = {978-3-642-15395-2},
  timestamp = {Wed, 17 May 2017 14:24:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2007,
  title     = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
               July 22-26, 2007, Vancouver, British Columbia, Canada},
  publisher = {{AAAI} Press},
  year      = {2007},
  isbn      = {978-1-57735-323-2},
  timestamp = {Wed, 05 Sep 2007 08:24:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2007,
  title     = {Formal Methods in Computer-Aided Design, 7th International Conference,
               {FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4401966},
  isbn      = {0-7695-3023-0},
  timestamp = {Fri, 01 Apr 2016 10:10:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2006,
  editor    = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title     = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
               International Conference, {CP} 2006, Nantes, France, September 25-29,
               2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4204},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11889205},
  doi       = {10.1007/11889205},
  isbn      = {3-540-46267-8},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier