Allen Van Gelder

Allen Van Gelder

1 books in the database

Books

Theory and applications of satisfiability teasting - SAT 2013Allen Van Gelder

Theory and applications of satisfiability teasting - SAT 2013

Allen Van Gelder · 2013

Co-authored books and collections

Books that list Allen Van Gelder among their authors but not as the lead author: co-written works, collections and compilations.

Computer algorithmsSara Baase

Computer algorithms

Sara Baase · 1999