Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 40414
    ISBN: 9783642215810
    UPC: 10.1007/978-3-642-21581-0
    Title: Theory and Applications of Satisfiability Testing - SAT 201114th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings /
    Author: Sakallah, Karem A.
    Publication Info:
    Item Type: Language material

Additional Resources