Theory and Application of Satisfiability Testing : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings /
This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011. The 25 revised full papers presented together with abstracts of 2 invited talks and 10 poster papers were caref...
Saved in:
Corporate Author: | |
---|---|
Other Authors: | , , |
Format: | Book |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2011
|
Edition: | 1st ed. 2011 |
Series: | Computer Science (Springer-11645)
Computer Science (SpringerNature-11645) LNCS sublibrary Theoretical computer science and general issues ; 6695. LNCS sublibrary Theoretical computer science and general issues 6695 |
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!