44th International Colloquium on Automata, Languages, and Programming (ICALP 2017) (Ioannis Chatzigiannakis and Piotr Indyk and Fabian Kuhn and Anca Muscholl), volume 80 of Leibniz International Proceedings in Informatics (LIPIcs), pages 135:1-135:13, 2017, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik.

Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings (Matti Järvisalo and Allen Van Gelder), volume 7962 of Lecture Notes in Computer Science, pages 394-402, 2013, Springer Verlag.