Non-binary quantified CSP: algorithms and modelling

Peter Nightingale. Non-binary quantified CSP: algorithms and modelling. Constraints, 14(4):539-581, 2009. [doi]

Abstract

Abstract is missing.