Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings (Lecture Notes in Computer Science, Band 3569)

von: Toby Walsh · Fahiem Bacchus Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-540-26276-3 ISBN-10: 3-540-26276-8 Springer · 2008