Join Literal
Authors

Author

Joao Marques-Silva

Books

Theory and Applications of Satisfiability Testing - SAT 2007
Theory and Applications of Satisfiability Testing - SAT 2007
Joao Marques-Silva, Karem A. Sakallah

Your next favorite book is out there

Track your reading, share the passages worth remembering, and get recommendations from people you trust — not algorithms. Independent, free, and no ads.

Download on the App Store
... or sign up right here