Lex

Browse

GenresShelvesPremiumBlog

Company

AboutJobsPartnersSell on LexAffiliates

Resources

DocsInvite FriendsFAQ

Legal

Terms of ServicePrivacy Policygeneral@lex-books.com(215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Theory and Applications of Satisfiability Testing

Theory and Applications of Satisfiability Testing2005

Holger H. Hoos, David G. Mitchell

Details

First published
2005
OL Work ID
OL26467789W

Subjects

Decision makingComputer algorithmsSat (educational test)

Find this book

GoodreadsOpen Library
Book data from Open Library. Cover images courtesy of Open Library.