Search results for: Armin Biere
Formal Methods in System Design > 2017 > 51 > 3 > 608-636
Artificial Intelligence > 2016 > 241 > C > 45-65
Journal of Automated Reasoning > 2017 > 58 > 1 > 97-125
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2008 > 196-210
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Preface > 61-75
Lecture Notes in Computer Science > Computer Science – Theory and Applications > Applications and Technology Track > 600-611
Lecture Notes in Computer Science > Computer Aided Systems Theory - EUROCAST 2009 > Applied Formal Verification > 304-311
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2010 > Part 2. Regular Papers > 44-57
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Symbolic Analysis > 193-207