| Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers | | | Editor:
| Hoos, Holger H.
Mitchell, David G. | | Series title: | Lecture Notes in Computer Science Ser. | | ISBN: | 978-3-540-31580-3 | | Publication Date: | Aug 2005 | | Publisher: | Springer London, Limited
| | Book Format: | Ebook | | List Price: | USD $119.00 |
| |