A
Armin Biere
8 works on record
Works

Digitaltechnik - eine praxisnahe Einfu hrung

Theory and applications of satisfiability testing -- SAT 2006

Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications

Hardware and Software: Verification and Testing

Computer Aided Verification
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Effiziente Modellprüfung des [mu]-Kalküls mit binären Entscheidungsdiagrammen
Effiziente Modellprüfung des [mu]-Kalküls mit binären Entscheidungsdiagrammen
Handbook of Satisfiability
Handbook of Satisfiability