William Klieber, Mikolás Janota, Joao Marques-Silva, Edmund M. Clarke. Solving QBF with Free Variables. In Christian Schulte, editor, Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings. Volume 8124 of Lecture Notes in Computer Science, pages 415-431, Springer, 2013. [doi]
Abstract is missing.