Allen Van Gelder. Primal and Dual Encoding from Applications into Quantified Boolean Formulas. 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 694-707, Springer, 2013. [doi]
Abstract is missing.