Theory and Applications of Satisfiability Testing
Theory and Applications of Satisfiability Testing
2005
Holger H. Hoos
,
David G. Mitchell
Details
First published
2005
OL Work ID
OL26467789W
Subjects
Decision making
Computer algorithms
Sat (educational test)
Find this book
Goodreads
Open Library