Theory And Applications Of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | June 18, 2012 |
| Editors | Alessandro Cimatti |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2161067 |
About Theory And Applications Of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. . . .