Search results for: Paolo Marin
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2010 > Part 2. Regular Papers > 85-98
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2009 > Distributed and Parallel Solving > 509-523