Goodreads helps you keep track of books you want to read.
Start by marking “SAT/SMT by Example” as Want to Read:
Blank 133x176
SAT/SMT by Example
 
by
Dennis Yurichev
Rate this book
Clear rating
Open Preview

SAT/SMT by Example

it was amazing 5.00  ·  Rating details ·  1 rating  ·  1 review
Self-published guide through various challenges that can be resolved with SAT solvers.
ebook, 617 pages
Published 2021
More Details... Edit Details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about SAT/SMT by Example, please sign up.

Be the first to ask a question about SAT/SMT by Example

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

Showing 1-6
it was amazing Average rating 5.00  · 
Rating details
 ·  1 rating  ·  1 review


More filters
 | 
Sort order
Start your review of SAT/SMT by Example
Alex Railean
Apr 21, 2021 rated it it was amazing
Lots of practical examples in various programming languages, using different libraries.
Jose  Ignacio Seco Sanz
marked it as to-read
Apr 26, 2021
Povilas Balciunas
marked it as to-read
Apr 29, 2021
Azzaz
is currently reading it
May 09, 2021
Skoropadskyi Artem
marked it as to-read
May 27, 2021
Jon Kartago Lamida
marked it as to-read
Jun 09, 2021
There are no discussion topics on this book yet. Be the first to start one »

Goodreads is hiring!

If you like books and love to build cool products, we may be looking for you.
Learn more »

News & Interviews

These twelve books are so consistently adored, they have become regulars month after month in our data of most popular and most read books on...
139 likes · 54 comments