Bacchus, Fahiem.
Overview
Works: | 1 works in 0 publications in 0 languages |
---|
Titles
Theory and Applications of Satisfiability Testing = 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings /
by:
SpringerLink (Online service); SAT 2005 ((2005 :); Walsh, Toby.; Bacchus, Fahiem.
(Language materials, printed)