Theory and Applications of Satisfiability Testing - SAT 2009
Subtitle: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
Publisher: Springer London, Limited
Published: 2009
Language: eng
ISBN-13: 9783642027772