An edition of Theory and applications of satisfiability testing (2004)
Theory and Applications of Satisfiability Testing
6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003Selected Revised Papers (Lecture Notes in Computer Science)
By Enrico Giunchiglia
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
March 19, 2004
Publisher
Springer
Language
eng
Pages
530
Description: