Theory and Applications of Satisfiability Testing – SAT 2020
Theory and Applications of Satisfiability Testing – SAT 2020 PDF book is popular Computers book written by Luca Pulina. The book was released by Springer Nature on 2020-07-01 with total hardcover pages 538. Fast download link is given in this page, you could read Theory and Applications of Satisfiability Testing – SAT 2020 by Luca Pulina in PDF, epub and kindle directly from your devices.
Theory and Applications of Satisfiability Testing – SAT 2020
-
Theory and Applications of Satisfiability Testing – SAT 2020 Book Detail
- Author : Luca Pulina
- Release Date : 2020-07-01
- Publisher : Springer Nature
- Genre : Computers
- Pages : 538
- ISBN 13 : 3030518256
- File Size : 8,8 MB