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