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]

Authors

Kostas Stergiou

This author has not been identified. Look up 'Kostas Stergiou' in Google