Theory and Applications of Satisfiability Testing - SAT 2014
Subtitle: 17th International Conference, Held As Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Publisher: Springer London, Limited
Published: 2014
Language: eng
ISBN-13: 9783319092843