Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture Notes in Computer Science (4121), Band 4121)
von:
Carla P. Gomes ·
Armin Biere
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-37206-6
ISBN-10: 3-540-37206-7
Springer
· 2008
