Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings (Lecture Notes in Computer Science, Band 7962)
von:
Matti Jarvisalo ·
Allen Van Gelder
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-39070-8
ISBN-10: 3-642-39070-6
Springer
· 2013
