Search results for: G. Audemard
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Sytems — FORTE 2002 > 243-259
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2008 > 21-27