Search results for: Joshua Buresh-Oppenheim
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
computational complexity > 2011 > 20 > 4 > 679-740
Algorithmica > 2011 > 60 > 4 > 938-968
computational complexity > 2002 > 11 > 3-4 > 91-108