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. International Journal on Artificial Intelligence Tools, 17(2):321-337, 2008. [doi]

Bibliographies