Search results for: David Mitchell
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 447-458
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 13-26
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2007 > 300-313
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2006 > Session 1. Proofs and Cores > 42-47
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 452-466