Theory and Applications of Satisfiability Testing - SAT 2006
Subtitle: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
Publisher: Springer London, Limited
Published: 2006
Language: eng
Number of pages: 440
ISBN-13: 9783540372073