David G. Mitchell

32 papers A* 4A 5B 5Journal 10Unranked 6

Year	Rank	Type	Title / Venue / Authors
2017	B	`conf`	Propagators and Solvers for the Algebra of Modular Systems. LPAR Bart Bogaerts, Eugenia Ternovska, David G. Mitchell
2016	J	`jnl`	Propagators and Solvers for the Algebra of Modular Systems. CoRR Bart Bogaerts, Eugenia Ternovska, David G. Mitchell
2015	B	`conf`	Clause-Learning for Modular Systems. LPNMR David G. Mitchell, Eugenia Ternovska
2013	—	`conf`	New Encoding for Translating Pseudo-Boolean Constraints into SAT. SARA Amir Aavani, David G. Mitchell, Eugenia Ternovska
2013	J	`jnl`	Problem Solving with the Enfragmo System. Theory Pract. Log. Program. Amir Aavani, Eugenia Ternovska, David G. Mitchell
2012	B	`conf`	Enfragmo: A System for Modelling and Solving Search Problems with Logic. LPAR Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska, David G. Mitchell
2011	—	`conf`	Grounding Formulas with Complex Terms. Canadian AI Amir Aavani, Xiongnan (Newman) Wu, Eugenia Ternovska, David G. Mitchell
2011	J	`jnl`	Lifted Unit Propagation for Effective Grounding CoRR Pashootan Vaezipoor, David G. Mitchell, Maarten Mariën
2010	—	`conf`	On the Complexity of Model Expansion. LPAR (Yogyakarta) Antonina Kolokolova, Yongmei Liu, David G. Mitchell, Eugenia Ternovska
2010	—	`conf`	Speed-Up Techniques for Negation in Grounding. LPAR (Dakar) Amir Aavani, Shahab Tasharrofi, Gulay Ünel, Eugenia Ternovska, David G. Mitchell
2009	A*	`conf`	Declarative Programming of Search Problems with Built-in Arithmetic. IJCAI Eugenia Ternovska, David G. Mitchell
2008	J	`jnl`	Expressive power and abstraction in Essence. Constraints An Int. J. David G. Mitchell, Eugenia Ternovska
2007	B	`conf`	Faster Phylogenetic Inference with MXG. LPAR David G. Mitchell, Faraz Hach, Raheleh Mohebali
2007	A	`conf`	Minimum 2CNF Resolution Refutations in Polynomial Time. SAT Joshua Buresh-Oppenheim, David G. Mitchell
2006	B	`conf`	Constructing Camin-Sokal Phylogenies Via Answer Set Programming. LPAR Jonathan Kavanagh, David G. Mitchell, Eugenia Ternovska, Ján Manuch, Xiaohong Zhao, Arvind Gupta
2006	A	`conf`	Minimum Witnesses for Unsatisfiable 2CNFs. SAT Joshua Buresh-Oppenheim, David G. Mitchell
2005	A	`conf`	2-Way vs. d-Way Branching for CSP. CP Joey Hwang, David G. Mitchell
2005	A*	`conf`	A Framework for Representing and Solving NP Search Problems. AAAI David G. Mitchell, Eugenia Ternovska
2005	J	`jnl`	A SAT Solver Primer. Bull. EATCS David G. Mitchell
2005	J	`jnl`	The resolution complexity of random graph Discret. Appl. Math. Paul Beame, Joseph C. Culberson, David G. Mitchell, Cristopher Moore
2005	—	`ed.`	Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers SAT (Selected Papers) Holger H. Hoos, David G. Mitchell
2004	J	`jnl`	The Resolution Complexity of Random Graph k-Colorability Electron. Colloquium Comput. Complex. Paul Beame, Joseph C. Culberson, David G. Mitchell, Cristopher Moore
2003	A	`conf`	Resolution and Constraint Satisfaction. CP David G. Mitchell
2002	A	`conf`	Resolution Complexity of Random Constraints. CP David G. Mitchell
2002	—	`—`	The resolution complexity of constraint satisfaction. David G. Mitchell
2001	J	`jnl`	Linear and Negative Resolution are Weaker than Resolution Electron. Colloquium Comput. Complex. Josh Buresh-Oppenheim, David G. Mitchell, Toniann Pitassi
1998	—	`conf`	Hard Problems for CSP Algorithms. AAAI/IAAI David G. Mitchell
1996	—	`conf`	Finding hard instances of the satisfiability problem: A survey. Satisfiability Problem: Theory and Applications Stephen A. Cook, David G. Mitchell
1996	J	`jnl`	Generating Hard Satisfiability Problems. Artif. Intell. Bart Selman, David G. Mitchell, Hector J. Levesque
1996	J	`jnl`	Some Pitfalls for Experimenters with Random SAT. Artif. Intell. David G. Mitchell, Hector J. Levesque
1992	A*	`conf`	A New Method for Solving Hard Satisfiability Problems. AAAI Bart Selman, Hector J. Levesque, David G. Mitchell
1992	A*	`conf`	Hard and Easy Distributions of SAT Problems. AAAI David G. Mitchell, Bart Selman, Hector J. Levesque