Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings ... Notes in Computer Science (4996), Band 4996)
von
Hans Kleine Buning
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-79718-0
ISBN-10: 3-540-79718-1
Springer
· 2008
