-
Bib ID# 18959
ISBN: 9783540316794
UPC: 10.1007/b137280
Title: Theory and Applications of Satisfiability Testing8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings /
Author: Bacchus, Fahiem.
Publication Info:
Item Type: Language material