Results
Theory and Applications of Satisfiability Testing
6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
© 2004
Soft cover - Print (ISBN: 978-3-540-20851-8)
Electronic (ISBN: 978-3-540-24605-3)
View this book on
SpringerLink
Download Product Archive File - 978-3-540-24605-3