Theory and Applications of Satisfiability Testing - SAT 2010
Subtitle: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
Publisher: Springer London, Limited
Published: 2010
Language: eng
Number of pages: 400
ISBN-13: 9783642141867