Theory and Applications of Satisfiability Testing -- SAT 2015
Subtitle: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Publisher: Springer International Publishing AG
Published: 2015
Language: eng
ISBN-13: 9783319243177
Subjects: Computer algorithms; Computer software, verification