David G. Mitchell
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
7
Active years
1992–2017
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | LPAR | Propagators and Solvers for the Algebra of Modular Systems. | Bart Bogaerts, Eugenia Ternovska, David G. Mitchell |
| 2015 | LPNMR | Clause-Learning for Modular Systems. | David G. Mitchell, Eugenia Ternovska |
| 2012 | LPAR | Enfragmo: A System for Modelling and Solving Search Problems with Logic. | Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska, David G. Mitchell |
| 2011 | AI | Grounding Formulas with Complex Terms. | Amir Aavani, Xiongnan (Newman) Wu, Eugenia Ternovska, David G. Mitchell |
| 2010 | LPAR | Speed-Up Techniques for Negation in Grounding. | Amir Aavani, Shahab Tasharrofi, Gulay nel, Eugenia Ternovska, David G. Mitchell |
| 2010 | LPAR | On the Complexity of Model Expansion. | Antonina Kolokolova, Yongmei Liu, David G. Mitchell, Eugenia Ternovska |
| 2009 | IJCAI | Declarative Programming of Search Problems with Built-in Arithmetic. | Eugenia Ternovska, David G. Mitchell |
| 2007 | LPAR | Faster Phylogenetic Inference with MXG. | David G. Mitchell, Faraz Hach, Raheleh Mohebali |
| 2007 | SAT | Minimum 2CNF Resolution Refutations in Polynomial Time. | Joshua Buresh-Oppenheim, David G. Mitchell |
| 2006 | LPAR | Constructing Camin-Sokal Phylogenies Via Answer Set Programming. | Jonathan Kavanagh, David G. Mitchell, Eugenia Ternovska, Jn Manuch, Xiaohong Zhao, Arvind Gupta |
| 2006 | SAT | Minimum Witnesses for Unsatisfiable 2CNFs. | Joshua Buresh-Oppenheim, David G. Mitchell |
| 2005 | AAAI | A Framework for Representing and Solving NP Search Problems. | David G. Mitchell, Eugenia Ternovska |
| 2005 | CP | 2-Way vs. d-Way Branching for CSP. | Joey Hwang, David G. Mitchell |
| 2003 | CP | Resolution and Constraint Satisfaction. | David G. Mitchell |
| 2002 | CP | Resolution Complexity of Random Constraints. | David G. Mitchell |
| 1998 | AAAI | Hard Problems for CSP Algorithms. | David G. Mitchell |
| 1992 | AAAI | Hard and Easy Distributions of SAT Problems. | David G. Mitchell, Bart Selman, Hector J. Levesque |
| 1992 | AAAI | A New Method for Solving Hard Satisfiability Problems. | Bart Selman, Hector J. Levesque, David G. Mitchell |