Releases von 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 (Taschenbuch) (2005)
Taschenbuch
Theory and Applications of Satis...
Fahiem Bacchus