Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Marijn Heule
Marijn Heule
All books by Marijn Heule
(
Displaying 2 Books
)
Automated Reasoning
Christoph Benzmüller
Theory and Applications of Satisfiability Testing -- SAT 2015
Marijn Heule
Looking for another book by Marijn Heule?
Search for the book
by title.