-
Bib ID# 18372
ISBN: 9783540315803
UPC: 10.1007/11527695
Title: Theory and Applications of Satisfiability Testing7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /
Author: Hoos, Holger H.
Publication Info:
Item Type: Language material