Communiqués par Fahiem Bacchus

Cover for Fahiem Bacchus · Theory and Applications of Satisfiability Testing: 8th International Conference, Sat 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues (Paperback Book) (2005)
Paperback Book
Theory and Applications of Satis...
Fahiem Bacchus