Results

Book cover

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 Download product archive files for 978-3-540-24605-3