Christoph M. WintersteigerBooksDigitaltechnik - eine praxisnahe Einfu hrungTheory and Applications of Satisfiability Testing - SAT 2018Author data: Open Library