Armin Biere
Books
- Digitaltechnik - eine praxisnahe Einfu hrung
- Effiziente Modellprüfung des [mu]-Kalküls mit binären Entscheidungsdiagrammen
- Computer Aided Verification
- Handbook of Satisfiability
- Tools and Algorithms for the Construction and Analysis of Systems
- Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications
- Theory and applications of satisfiability testing -- SAT 2006
- Hardware and Software: Verification and Testing
Author data: Open Library