Tools and Algorithms for the Construction and Analysis of SystemsArmin Biere · First published 2020Open the Tome
Handbook of SatisfiabilityArmin Biere, Hans van Maaren, Toby Walsh · First published 2009Open the Tome
Handbook of Satisfiability Frontiers in Artificial Intelligence and ApplicationsArmin Biere · First published 2009Open the Tome
Digitaltechnik - eine praxisnahe Einfu hrungArmin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger · First published 2008Open the Tome
Theory and applications of satisfiability testing -- SAT 2006Armin Biere · First published 2006Open the Tome
Effiziente Modellprüfung des [mu]-Kalküls mit binären EntscheidungsdiagrammenArmin Biere · First published 1997Open the Tome
![Placeholder cover for Effiziente Modellprüfung des [mu]-Kalküls mit binären Entscheidungsdiagrammen](/_next/image?url=%2Fimages%2Fparchment.jpg&w=3840&q=75)