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 Application of Satisfiability TestingTheory and Application of Satisfiability Testing

Theory and Application of Satisfiability Testing

Karem A. Sakallah, Laurent Simon

Details

OL Work ID
OL20793795W

Find this book

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