Theory and Applications of Satisfiability Testing - SAT 2015: Proc./18th International Conference, Austin,TX,USA, September 2015

Theory and Applications of Satisfiability Testing - SAT 2015: Proc./18th International Conference, Austin,TX,USA, September 2015Ed. by Heule M., Weaver S..-Berlin.: Springer, 2015.-Vol. 9340.-436 p.-(Lecture Notes in Computer Science).