Preprocessing Quantified Constraint Satisfaction Problems with Value Reordering and Directional Arc and Path Consistency.

Kostas Stergiou Preprocessing Quantified Constraint Satisfaction Problems with Value Reordering and Directional Arc and Path Consistency. 321-337 2008 17 International Journal on Artificial Intelligence Tools 2 http://dx.doi.org/10.1142/S0218213008003911 db/journals/ijait/ijait17.html#Stergiou08