Search results for: Alexander Nadel
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2006 > Session 1. Proofs and Cores > 36-41
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2007 > 287-293
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2010 > Part 3. Short Papers > 375-381
Lecture Notes in Computer Science > Hardware and Software, Verification and Testing > Hardware Verification > 56-75
Lecture Notes in Computer Science > Computer Aided Verification > Session XVI: SAT and Decision Procedures > 547-560
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Preface > 46-60
Formal Methods in System Design > 2015 > 47 > 1 > 51-74
2013 Formal Methods in Computer-Aided Design > 197 - 200
Formal Methods in Computer Aided Design > 221 - 229