Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Book title Buchtitel
Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
9340
DOI
10.1007/978-3-319-24318-4
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-1 of 1 (Search time: 0.006 seconds).