Christoph M. Wintersteiger

Christoph M. Wintersteiger

1 books in the database

Books

Theory and Applications of Satisfiability Testing - SAT 2018Christoph M. Wintersteiger

Theory and Applications of Satisfiability Testing - SAT 2018

Christoph M. Wintersteiger · 2018

Co-authored books and collections

Books that list Christoph M. Wintersteiger among their authors but not as the lead author: co-written works, collections and compilations.

Digitaltechnik - eine praxisnahe Einfu hrungArmin Biere

Digitaltechnik - eine praxisnahe Einfu hrung

Armin Biere · 2008