Books by Armin Biere
Handbook of Satisfiability
Frontiers in Artificial Intelligence and Applications
Handbook of Satisfiability
Handbook of Satisfiability
Digitaltechnik - eine praxisnahe Einfu hrung
Theory and applications of satisfiability testing -- SAT 2006
Effiziente Modellprüfung des [
Effiziente Modellprüfung des [mu]-Kalküls mit binären Entscheidungsdiagrammen