Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: David G. Mitchell
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.