The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "David G. Mitchell" ( http://dblp.L3S.de/Authors/David_G._Mitchell )

URL (Homepage):  http://www.cs.sfu.ca/~mitchell/  Author page on DBLP  Author page in RDF  Community of David G. Mitchell in ASPL-2

Publication years (Num. hits)
1992-2005 (15) 2006-2016 (15) 2017 (1)
Publication types (Num. hits)
article(10) inproceedings(20) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 7 keywords

Results
Found 32 publication records. Showing 31 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Bart Bogaerts 0001, Eugenia Ternovska, David G. Mitchell Propagators and Solvers for the Algebra of Modular Systems. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Eugenia Ternovska, David G. Mitchell Propagators and Solvers for the Algebra of Modular Systems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1David G. Mitchell, Eugenia Ternovska Clause-Learning for Modular Systems. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Amir Aavani, Eugenia Ternovska, David G. Mitchell Problem Solving with the Enfragmo System. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Amir Aavani, David G. Mitchell, Eugenia Ternovska New Encoding for Translating Pseudo-Boolean Constraints into SAT. Search on Bibsonomy SARA The full citation details ... 2013 DBLP  BibTeX  RDF
1Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska, David G. Mitchell Enfragmo: A System for Modelling and Solving Search Problems with Logic. Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pashootan Vaezipoor, David G. Mitchell, Maarten Mariën Lifted Unit Propagation for Effective Grounding Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Amir Aavani, Xiongnan (Newman) Wu, Eugenia Ternovska, David G. Mitchell Grounding Formulas with Complex Terms. Search on Bibsonomy Canadian Conference on AI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Amir Aavani, Shahab Tasharrofi, Gulay Ünel, Eugenia Ternovska, David G. Mitchell Speed-Up Techniques for Negation in Grounding. Search on Bibsonomy LPAR (Dakar) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Antonina Kolokolova, Yongmei Liu 0001, David G. Mitchell, Eugenia Ternovska On the Complexity of Model Expansion. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Eugenia Ternovska, David G. Mitchell Declarative Programming of Search Problems with Built-in Arithmetic. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1David G. Mitchell, Eugenia Ternovska Expressive power and abstraction in Essence. Search on Bibsonomy Constraints The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Essence, Constraint modelling languages, Model expansion, Abstraction, Expressive power, Descriptive complexity
1David G. Mitchell, Faraz Hach, Raheleh Mohebali Faster Phylogenetic Inference with MXG. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Model Expansion, Declarative Programming, Phylogeny
1Joshua Buresh-Oppenheim, David G. Mitchell Minimum 2CNF Resolution Refutations in Polynomial Time. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jonathan Kavanagh, David G. Mitchell, Eugenia Ternovska, Ján Manuch, Xiaohong Zhao, Arvind Gupta Constructing Camin-Sokal Phylogenies Via Answer Set Programming. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Camin-Sokal, answer set programming, phylogeny, maximum parsimony
1Joshua Buresh-Oppenheim, David G. Mitchell Minimum Witnesses for Unsatisfiable 2CNFs. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1David G. Mitchell A SAT Solver Primer. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2005 DBLP  BibTeX  RDF
1Paul Beame, Joseph C. Culberson, David G. Mitchell, Cristopher Moore The resolution complexity of random graph k-colorability. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1David G. Mitchell, Eugenia Ternovska A Framework for Representing and Solving NP Search Problems. Search on Bibsonomy AAAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Holger H. Hoos, David G. Mitchell (eds.) Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers Search on Bibsonomy SAT (Selected Papers) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Joey Hwang, David G. Mitchell 2-Way vs. d-Way Branching for CSP. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Paul Beame, Joseph C. Culberson, David G. Mitchell, Cristopher Moore The Resolution Complexity of Random Graph k-Colorability Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2004 DBLP  BibTeX  RDF
1David G. Mitchell Resolution and Constraint Satisfaction. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1David G. Mitchell Resolution Complexity of Random Constraints. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Josh Buresh-Oppenheim, David G. Mitchell, Toniann Pitassi Linear and Negative Resolution are Weaker than Resolution Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2001 DBLP  BibTeX  RDF
1David G. Mitchell Hard Problems for CSP Algorithms. Search on Bibsonomy AAAI/IAAI The full citation details ... 1998 DBLP  BibTeX  RDF
1David G. Mitchell, Hector J. Levesque Some Pitfalls for Experimenters with Random SAT. Search on Bibsonomy Artif. Intell. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Bart Selman, David G. Mitchell, Hector J. Levesque Generating Hard Satisfiability Problems. Search on Bibsonomy Artif. Intell. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Stephen A. Cook, David G. Mitchell Finding hard instances of the satisfiability problem: A survey. Search on Bibsonomy Satisfiability Problem: Theory and Applications The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1David G. Mitchell, Bart Selman, Hector J. Levesque Hard and Easy Distributions of SAT Problems. Search on Bibsonomy AAAI The full citation details ... 1992 DBLP  BibTeX  RDF
1Bart Selman, Hector J. Levesque, David G. Mitchell A New Method for Solving Hard Satisfiability Problems. Search on Bibsonomy AAAI The full citation details ... 1992 DBLP  BibTeX  RDF
Displaying result #1 - #31 of 31 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license