in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016 in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 9710, Pages: 342-360 (19)
Conference
19Th International Conference on Theory and Applications of Satisfiability Testing (Sat), Date: JUL 05-08, 2016, Location: Comp Sci Lab Bordeaux, Bordeaux, FRANCE, Host: Comp Sci Lab Bordeaux
