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)

International

von: Carsten Sinz · Uwe Egly

Taschenbuch

ISBN-13: 978-3-319-09283-6

ISBN-10: 3-319-09283-9

Springer · 2014