Theory and Applications of Satisfiability Testing - SAT 2008
Subtitle: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
Publisher: Springer London, Limited
Published: 2008
Language: eng
ISBN-13: 9783540797197