Theory and Applications of Satisfiability Testing - SAT 2014
Subtitle: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ...
Publisher: Springer
Published: Aug 04, 2014
Format: paperback
Number of pages: 474
ISBN-13: 9783319092836
Notes: Source title: Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ... (Lecture Notes in Computer Science (8561))