Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings: 3569 (Lecture Notes in Computer Science)
by Toby Walsh,Fahiem Bacchus
ISBN 13: 9783540262763
Format: Paperback (508 pages) Publisher: Springer Published: 13 Jun 2008
Save for later