Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference Lisbon, Portugal, May 28-31, 2007 Proceedings: 10th ... Notes in Computer Science (4501), Band 4501)
von:
João Marques-Silva ·
Karem A. Sakallah
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-72787-3
ISBN-10: 3-540-72787-6
Springer
· 2009
