in Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 9710, Pages: 342-360
Conference
19Th International Conference on Theory and Applications of Satisfiability Testing, Sat 2016, Date: 5 July 2016 through 8 July 2016