Search results for: Ziyad Hanna
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 > Computer Aided Verification > BDD and Decision Procedures > 131-143
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
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Preface > 408-414
2006 International Conference on Computer Design > 267 - 273
Electronic Notes in Theoretical Computer Science > 2006 > 144 > 2 > 3-14
Electronic Notes in Theoretical Computer Science > 2005 > 128 > 3 > 75-90
Electronic Notes in Theoretical Computer Science > 2003 > 89 > 4 > 593-607