Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings By Josep Argelich, Felip Manyà (auth.), Fahiem Bacchus, Toby Walsh (eds.)
2005 | 492 Pages | ISBN: 3540262768 | PDF | 6 MB