BibTeX records: David G. Mitchell

download as .bib file

@inproceedings{DBLP:conf/lpar/0001TM17,
  author       = {Bart Bogaerts and
                  Eugenia Ternovska and
                  David G. Mitchell},
  editor       = {Thomas Eiter and
                  David Sands},
  title        = {Propagators and Solvers for the Algebra of Modular Systems},
  booktitle    = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
                  Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
  series       = {EPiC Series in Computing},
  volume       = {46},
  pages        = {227--248},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/t7r9},
  doi          = {10.29007/T7R9},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/0001TM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BogaertsTM16,
  author       = {Bart Bogaerts and
                  Eugenia Ternovska and
                  David G. Mitchell},
  title        = {Propagators and Solvers for the Algebra of Modular Systems},
  journal      = {CoRR},
  volume       = {abs/1606.08130},
  year         = {2016},
  url          = {http://arxiv.org/abs/1606.08130},
  eprinttype    = {arXiv},
  eprint       = {1606.08130},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BogaertsTM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/MitchellT15,
  author       = {David G. Mitchell and
                  Eugenia Ternovska},
  editor       = {Francesco Calimeri and
                  Giovambattista Ianni and
                  Miroslaw Truszczynski},
  title        = {Clause-Learning for Modular Systems},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 13th International
                  Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9345},
  pages        = {446--452},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23264-5\_37},
  doi          = {10.1007/978-3-319-23264-5\_37},
  timestamp    = {Sun, 02 Jun 2019 21:23:45 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/MitchellT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AavaniTM13,
  author       = {Amir Aavani and
                  Eugenia Ternovska and
                  David G. Mitchell},
  title        = {Problem Solving with the Enfragmo System},
  journal      = {Theory Pract. Log. Program.},
  volume       = {13},
  number       = {4-5-Online-Supplement},
  year         = {2013},
  url          = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013025.pdf},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/AavaniTM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/AavaniMT13,
  author       = {Amir Aavani and
                  David G. Mitchell and
                  Eugenia Ternovska},
  editor       = {Alan M. Frisch and
                  Peter Gregory},
  title        = {New Encoding for Translating Pseudo-Boolean Constraints into {SAT}},
  booktitle    = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
                  and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
                  {USA}},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7212},
  timestamp    = {Tue, 09 Feb 2021 08:32:52 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/AavaniMT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AavaniWTTM12,
  author       = {Amir Aavani and
                  Xiongnan (Newman) Wu and
                  Shahab Tasharrofi and
                  Eugenia Ternovska and
                  David G. Mitchell},
  editor       = {Nikolaj S. Bj{\o}rner and
                  Andrei Voronkov},
  title        = {Enfragmo: {A} System for Modelling and Solving Search Problems with
                  Logic},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
                  International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
                  11-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7180},
  pages        = {15--22},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28717-6\_4},
  doi          = {10.1007/978-3-642-28717-6\_4},
  timestamp    = {Thu, 14 Apr 2022 20:26:15 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/AavaniWTTM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/AavaniWTM11,
  author       = {Amir Aavani and
                  Xiongnan (Newman) Wu and
                  Eugenia Ternovska and
                  David G. Mitchell},
  editor       = {Cory J. Butz and
                  Pawan Lingras},
  title        = {Grounding Formulas with Complex Terms},
  booktitle    = {Advances in Artificial Intelligence - 24th Canadian Conference on
                  Artificial Intelligence, Canadian {AI} 2011, St. John's, Canada, May
                  25-27, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6657},
  pages        = {13--25},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21043-3\_2},
  doi          = {10.1007/978-3-642-21043-3\_2},
  timestamp    = {Thu, 28 Sep 2023 12:27:11 +0200},
  biburl       = {https://dblp.org/rec/conf/ai/AavaniWTM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-1317,
  author       = {Pashootan Vaezipoor and
                  David G. Mitchell and
                  Maarten Mari{\"{e}}n},
  title        = {Lifted Unit Propagation for Effective Grounding},
  journal      = {CoRR},
  volume       = {abs/1109.1317},
  year         = {2011},
  url          = {http://arxiv.org/abs/1109.1317},
  eprinttype    = {arXiv},
  eprint       = {1109.1317},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1109-1317.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AavaniTUTM10,
  author       = {Amir Aavani and
                  Shahab Tasharrofi and
                  Gulay {\"{U}}nel and
                  Eugenia Ternovska and
                  David G. Mitchell},
  editor       = {Edmund M. Clarke and
                  Andrei Voronkov},
  title        = {Speed-Up Techniques for Negation in Grounding},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
                  International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
                  2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6355},
  pages        = {13--26},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17511-4\_2},
  doi          = {10.1007/978-3-642-17511-4\_2},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/AavaniTUTM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KolokolovaLMT10,
  author       = {Antonina Kolokolova and
                  Yongmei Liu and
                  David G. Mitchell and
                  Eugenia Ternovska},
  editor       = {Christian G. Ferm{\"{u}}ller and
                  Andrei Voronkov},
  title        = {On the Complexity of Model Expansion},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
                  International Conference, LPAR-17, Yogyakarta, Indonesia, October
                  10-15, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6397},
  pages        = {447--458},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16242-8\_32},
  doi          = {10.1007/978-3-642-16242-8\_32},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/KolokolovaLMT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TernovskaM09,
  author       = {Eugenia Ternovska and
                  David G. Mitchell},
  editor       = {Craig Boutilier},
  title        = {Declarative Programming of Search Problems with Built-in Arithmetic},
  booktitle    = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
                  on Artificial Intelligence, Pasadena, California, USA, July 11-17,
                  2009},
  pages        = {942--947},
  year         = {2009},
  url          = {http://ijcai.org/Proceedings/09/Papers/160.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:16:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/TernovskaM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/MitchellT08,
  author       = {David G. Mitchell and
                  Eugenia Ternovska},
  title        = {Expressive power and abstraction in Essence},
  journal      = {Constraints An Int. J.},
  volume       = {13},
  number       = {3},
  pages        = {343--384},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10601-008-9050-3},
  doi          = {10.1007/S10601-008-9050-3},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/MitchellT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MitchellHM07,
  author       = {David G. Mitchell and
                  Faraz Hach and
                  Raheleh Mohebali},
  editor       = {Nachum Dershowitz and
                  Andrei Voronkov},
  title        = {Faster Phylogenetic Inference with {MXG}},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th
                  International Conference, {LPAR} 2007, Yerevan, Armenia, October 15-19,
                  2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4790},
  pages        = {423--437},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75560-9\_31},
  doi          = {10.1007/978-3-540-75560-9\_31},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/MitchellHM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Buresh-OppenheimM07,
  author       = {Joshua Buresh{-}Oppenheim and
                  David G. Mitchell},
  editor       = {Jo{\~{a}}o Marques{-}Silva and
                  Karem A. Sakallah},
  title        = {Minimum 2CNF Resolution Refutations in Polynomial Time},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2007, 10th
                  International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4501},
  pages        = {300--313},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72788-0\_29},
  doi          = {10.1007/978-3-540-72788-0\_29},
  timestamp    = {Mon, 24 Feb 2020 19:23:27 +0100},
  biburl       = {https://dblp.org/rec/conf/sat/Buresh-OppenheimM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KavanaghMTMZG06,
  author       = {Jonathan Kavanagh and
                  David G. Mitchell and
                  Eugenia Ternovska and
                  J{\'{a}}n Manuch and
                  Xiaohong Zhao and
                  Arvind Gupta},
  editor       = {Miki Hermann and
                  Andrei Voronkov},
  title        = {Constructing Camin-Sokal Phylogenies Via Answer Set Programming},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th
                  International Conference, {LPAR} 2006, Phnom Penh, Cambodia, November
                  13-17, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4246},
  pages        = {452--466},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11916277\_31},
  doi          = {10.1007/11916277\_31},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/KavanaghMTMZG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Buresh-OppenheimM06,
  author       = {Joshua Buresh{-}Oppenheim and
                  David G. Mitchell},
  editor       = {Armin Biere and
                  Carla P. Gomes},
  title        = {Minimum Witnesses for Unsatisfiable 2CNFs},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2006, 9th
                  International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4121},
  pages        = {42--47},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11814948\_6},
  doi          = {10.1007/11814948\_6},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/Buresh-OppenheimM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/BeameCMM05,
  author       = {Paul Beame and
                  Joseph C. Culberson and
                  David G. Mitchell and
                  Cristopher Moore},
  title        = {The resolution complexity of random graph \emph{k}-colorability},
  journal      = {Discret. Appl. Math.},
  volume       = {153},
  number       = {1-3},
  pages        = {25--47},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.dam.2005.05.004},
  doi          = {10.1016/J.DAM.2005.05.004},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dam/BeameCMM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Mitchell05,
  author       = {David G. Mitchell},
  title        = {A {SAT} Solver Primer},
  journal      = {Bull. {EATCS}},
  volume       = {85},
  pages        = {112--132},
  year         = {2005},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Mitchell05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MitchellT05,
  author       = {David G. Mitchell and
                  Eugenia Ternovska},
  editor       = {Manuela M. Veloso and
                  Subbarao Kambhampati},
  title        = {A Framework for Representing and Solving {NP} Search Problems},
  booktitle    = {Proceedings, The Twentieth National Conference on Artificial Intelligence
                  and the Seventeenth Innovative Applications of Artificial Intelligence
                  Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
  pages        = {430--435},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {2005},
  url          = {http://www.aaai.org/Library/AAAI/2005/aaai05-068.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/MitchellT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HwangM05,
  author       = {Joey Hwang and
                  David G. Mitchell},
  editor       = {Peter van Beek},
  title        = {2-Way vs. d-Way Branching for {CSP}},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
                  International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3709},
  pages        = {343--357},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11564751\_27},
  doi          = {10.1007/11564751\_27},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/HwangM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2004lncs,
  editor       = {Holger H. Hoos and
                  David G. Mitchell},
  title        = {Theory and Applications of Satisfiability Testing, 7th International
                  Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3542},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11527695},
  doi          = {10.1007/11527695},
  isbn         = {3-540-27829-X},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/2004lncs.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR04-012,
  author       = {Paul Beame and
                  Joseph C. Culberson and
                  David G. Mitchell and
                  Cristopher Moore},
  title        = {The Resolution Complexity of Random Graph k-Colorability},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR04-012}},
  year         = {2004},
  url          = {https://eccc.weizmann.ac.il/eccc-reports/2004/TR04-012/index.html},
  eprinttype    = {ECCC},
  eprint       = {TR04-012},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eccc/ECCC-TR04-012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Mitchell03,
  author       = {David G. Mitchell},
  editor       = {Francesca Rossi},
  title        = {Resolution and Constraint Satisfaction},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
                  International Conference, {CP} 2003, Kinsale, Ireland, September 29
                  - October 3, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2833},
  pages        = {555--569},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45193-8\_38},
  doi          = {10.1007/978-3-540-45193-8\_38},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/Mitchell03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ca/Mitchell02,
  author       = {David G. Mitchell},
  title        = {The resolution complexity of constraint satisfaction},
  school       = {University of Toronto, Canada},
  year         = {2002},
  url          = {https://librarysearch.library.utoronto.ca/permalink/01UTORONTO\_INST/14bjeso/alma991106745946906196},
  timestamp    = {Wed, 10 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ca/Mitchell02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Mitchell02,
  author       = {David G. Mitchell},
  editor       = {Pascal Van Hentenryck},
  title        = {Resolution Complexity of Random Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2002, 8th
                  International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2470},
  pages        = {295--309},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46135-3\_20},
  doi          = {10.1007/3-540-46135-3\_20},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Mitchell02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR01-074,
  author       = {Josh Buresh{-}Oppenheim and
                  David G. Mitchell and
                  Toniann Pitassi},
  title        = {Linear and Negative Resolution are Weaker than Resolution},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR01-074}},
  year         = {2001},
  url          = {https://eccc.weizmann.ac.il/eccc-reports/2001/TR01-074/index.html},
  eprinttype    = {ECCC},
  eprint       = {TR01-074},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eccc/ECCC-TR01-074.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Mitchell98,
  author       = {David G. Mitchell},
  editor       = {Jack Mostow and
                  Chuck Rich},
  title        = {Hard Problems for {CSP} Algorithms},
  booktitle    = {Proceedings of the Fifteenth National Conference on Artificial Intelligence
                  and Tenth Innovative Applications of Artificial Intelligence Conference,
                  {AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA}},
  pages        = {398--405},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1998},
  url          = {http://www.aaai.org/Library/AAAI/1998/aaai98-056.php},
  timestamp    = {Tue, 05 Sep 2023 09:10:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Mitchell98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SelmanML96,
  author       = {Bart Selman and
                  David G. Mitchell and
                  Hector J. Levesque},
  title        = {Generating Hard Satisfiability Problems},
  journal      = {Artif. Intell.},
  volume       = {81},
  number       = {1-2},
  pages        = {17--29},
  year         = {1996},
  url          = {https://doi.org/10.1016/0004-3702(95)00045-3},
  doi          = {10.1016/0004-3702(95)00045-3},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/SelmanML96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MitchellL96,
  author       = {David G. Mitchell and
                  Hector J. Levesque},
  title        = {Some Pitfalls for Experimenters with Random {SAT}},
  journal      = {Artif. Intell.},
  volume       = {81},
  number       = {1-2},
  pages        = {111--125},
  year         = {1996},
  url          = {https://doi.org/10.1016/0004-3702(95)00049-6},
  doi          = {10.1016/0004-3702(95)00049-6},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/MitchellL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/CookM96,
  author       = {Stephen A. Cook and
                  David G. Mitchell},
  editor       = {Ding{-}Zhu Du and
                  Jun Gu and
                  Panos M. Pardalos},
  title        = {Finding hard instances of the satisfiability problem: {A} survey},
  booktitle    = {Satisfiability Problem: Theory and Applications, Proceedings of a
                  {DIMACS} Workshop, Piscataway, New Jersey, USA, March 11-13, 1996},
  series       = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume       = {35},
  pages        = {1--17},
  publisher    = {{DIMACS/AMS}},
  year         = {1996},
  url          = {https://doi.org/10.1090/dimacs/035/01},
  doi          = {10.1090/DIMACS/035/01},
  timestamp    = {Mon, 22 May 2023 16:07:35 +0200},
  biburl       = {https://dblp.org/rec/conf/dimacs/CookM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SelmanLM92,
  author       = {Bart Selman and
                  Hector J. Levesque and
                  David G. Mitchell},
  editor       = {William R. Swartout},
  title        = {A New Method for Solving Hard Satisfiability Problems},
  booktitle    = {Proceedings of the 10th National Conference on Artificial Intelligence,
                  San Jose, CA, USA, July 12-16, 1992},
  pages        = {440--446},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1992},
  url          = {http://www.aaai.org/Library/AAAI/1992/aaai92-068.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SelmanLM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MitchellSL92,
  author       = {David G. Mitchell and
                  Bart Selman and
                  Hector J. Levesque},
  editor       = {William R. Swartout},
  title        = {Hard and Easy Distributions of {SAT} Problems},
  booktitle    = {Proceedings of the 10th National Conference on Artificial Intelligence,
                  San Jose, CA, USA, July 12-16, 1992},
  pages        = {459--465},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1992},
  url          = {http://www.aaai.org/Library/AAAI/1992/aaai92-071.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/MitchellSL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics