Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 17586
    ISBN: 9783540372073
    UPC: 10.1007/11814948
    Title: Theory and Applications of Satisfiability Testing - SAT 20069th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings /
    Author: Biere, Armin.
    Publication Info:
    Item Type: Language material

Additional Resources