David G. Mitchell

发表

David G. Mitchell, Faraz Hach, Raheleh Mohebali, 2007, LPAR.

David G. Mitchell, Eugenia Ternovska, 2015, LPNMR.

Hector J. Levesque, David G. Mitchell, Bart Selman, 1992, AAAI.

David G. Mitchell, Amir Aavani, Eugenia Ternovska, 2010, LPAR.

David G. Mitchell, Amir Aavani, Eugenia Ternovska, 2013, Theory Pract. Log. Program..

David G. Mitchell, D. Mitchell, 1998, AAAI/IAAI.

David G. Mitchell, David H. Klyde, 2005 .

David G. Mitchell, Maarten Mariën, Pashootan Vaezipoor, 2011, ArXiv.

David G. Mitchell, David G. Mitchell, 2005, Bull. EATCS.

David G. Mitchell, David H. Klyde, Bimal L. Aponsof, 1997 .

David G. Mitchell, David H. Klyde, Thomas K. Nicoll, 2009 .

David G. Mitchell, Roger H. Hoh, 1983 .

David G. Mitchell, Joshua Buresh-Oppenheim, 2007, SAT.

David G. Mitchell, Amir Aavani, Eugenia Ternovska, 2012, LPAR.

David G. Mitchell, David H. Klyde, D. Klyde, 2005 .

David G. Mitchell, Joey Hwang, 2005, CP.

David G. Mitchell, Roger H. Hoh, Adolph Atencio, 1987 .

David G. Mitchell, Bimal L. Aponso, B. Aponso, 1990 .

David G. Mitchell, Eugenia Ternovska, Yongmei Liu, 2010, LPAR.

David G. Mitchell, David H. Klyde, Bimal L. Aponso, 1994 .

David G. Mitchell, Edmund Field, Kenneth Rossitto, 2001 .

David G. Mitchell, Roger H. Hoh, Chris L. Blanken, 2008 .

David G. Mitchell, Eugenia Ternovska, D. Mitchell, 2008, Constraints.

Hector J. Levesque, David G. Mitchell, Bart Selman, 1996, Artif. Intell..

David G. Mitchell, Amir Aavani, Eugenia Ternovska, 2013, SARA.

David G. Mitchell, David H. Klyde, David H. Mason, 2004 .

David G. Mitchell, Amir Aavani, Eugenia Ternovska, 2011, Canadian Conference on AI.

David G. Mitchell, David H. Klyde, Vineet Sahasrabudhe, 1999 .

David G. Mitchell, Simon P. Schatz, Patrick J. Lauffs, 2018, 2018 IEEE Aerospace Conference.

David G. Mitchell, Roger H. Hoh, 1996 .

David G. Mitchell, Adolph Atencio, Roger H. Hoh, 1988 .

David G. Mitchell, Michael P. Fallon, Thomas K. Nicoll, 2009 .

David G. Mitchell, David H. Klyde, D. Klyde, 1999 .

David G. Mitchell, D. Mitchell, 2002, CP.

David G. Mitchell, Cristopher Moore, Joseph C. Culberson, 2005, Discret. Appl. Math..

David G. Mitchell, Eugenia Ternovska, D. Mitchell, 2005, AAAI.

David G. Mitchell, 1993 .

Hector J. Levesque, David G. Mitchell, Bart Selman, 1992, AAAI.

David G. Mitchell, David H. Klyde, Philip C. Schulze, 2017 .

David G. Mitchell, 2003, CP.

David G. Mitchell, Edmund Field, Kenneth Rossitto, 2002 .

David G. Mitchell, Holger H. Hoos, H. Hoos, 2008 .

David G. Mitchell, David H. Klyde, 1998 .

David G. Mitchell, David H. Mason, Jerry M. Weakley, 2004 .

David G. Mitchell, David H. Klyde, Bimal L. Aponso, 1995 .

David G. Mitchell, Stephen A. Cook, S. Cook, 1996, Satisfiability Problem: Theory and Applications.

David G. Mitchell, M Christopher Cotting, Richard A. Ruff, 2018, 2018 Flight Testing Conference.

David G. Mitchell, Roger H. Hoh, Robert K. Heffley, 2006 .

David G. Mitchell, Eugenia Ternovska, Bart Bogaerts, 2016, LPAR.

David G. Mitchell, Joshua Buresh-Oppenheim, 2006, SAT.

David G. Mitchell, Robert K. Heffley, Thomas K. Nicoll, 2012 .

Hector J. Levesque, David G. Mitchell, H. Levesque, 1996, Artif. Intell..

David G. Mitchell, Roger H. Hoh, 1986 .

David G. Mitchell, David H. Klyde, Natalia Alexandrov, 2018 .

David B. Doman, David K. Schmidt, David G. Mitchell, 2003 .

David G. Mitchell, nbsp, Navair, 2009 .

David G. Mitchell, David H. Klyde, 2001 .

Ján Manuch, David G. Mitchell, Eugenia Ternovska, 2006, LPAR.

David G. Mitchell, David H. Klyde, Bimal L. Aponso, 1994 .

David G. Mitchell, David H. Klyde, Roger H. Hoh, 1995 .

David G. Mitchell, Toniann Pitassi, Joshua Buresh-Oppenheim, 2001, Electron. Colloquium Comput. Complex..

David G. Mitchell, Susana Muñoz, Alfredo J. Arencibia, 2004 .

David G. Mitchell, David H. Klyde, Chris Berka, 2021 .

David G. Mitchell, Roger H. Hoh, J. Murray Morgan, 1989 .

David G. Mitchell, David H. Klyde, Kelly J. Latimer, 1999 .

David G. Mitchell, Roger H. Hoh, Justin D. Morgan, 1987 .

David G. Mitchell, Roger H. Hoh, D. Mitchell, 1982 .

David G. Mitchell, David H. Klyde, D. Klyde, 2003 .