Armin Biere profile picture

Armin Biere

Is this your author profile? Create an account to customize it!

Stand Alone

Theory and applications of satisfiability testing -- SAT 2006
Digitaltechnik - eine praxisnahe Einfu hrung
Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications
Formal Methods in Computer-Aided Design, 2009. FMCAD 2009
Hardware and Software: Verification and Testing
Tools and Algorithms for the Construction and Analysis of Systems
Hardware and Software : Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised ...
Computer Aided Verification
Handbook of Satisfiability
Handbook of Satisfiability