Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ... Notes in Computer Science, Band 8561)
von:
Carsten Sinz ·
Uwe Egly
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-319-09283-6
ISBN-10: 3-319-09283-9
Springer
· 2014