Theory and Application of Satisfiability Testing
Subtitle: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings
Publisher: Springer
Published: Sep 15, 2011
Format: paperback
Number of pages: 394
ISBN-13: 9783642215827
Notes: Source title: Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings