Author

Christoph M. Wintersteiger

2 books found

Cover of Theory and Applications of Satisfiability Testing - SAT 2018

Theory and Applications of Satisfiability Testing - SAT 2018

Christoph M. Wintersteiger · First published 2018

Cover of Digitaltechnik - eine praxisnahe Einfu hrung

Digitaltechnik - eine praxisnahe Einfu hrung

Armin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger · First published 2008