Title:
Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
Author:
Sakallah, Karem A. editor.
ISBN:
9783642215810
Physical Description:
XIII, 371p. online resource.
Series:
Lecture Notes in Computer Science, 6695
Series Title:
Lecture Notes in Computer Science, 0302-9743 ; 6695
Added Author:
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-21581-0Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 194747-2001 | ONLINE | Searching... | Searching... |