Search results for: Justin W. Hart
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2006 > Session 8. QBF > 382-395
International Journal of Social Robotics > 2011 > 3 > 1 > 41-52
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2006 > Session 8. QBF > 382-395
International Journal of Social Robotics > 2011 > 3 > 1 > 41-52