Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings (Lecture Notes in Computer Science, Band 9340)
von:
Marijn Heule · Sean Weaver
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-319-24317-7
ISBN-10: 3-319-24317-9
Springer
· 2015
