Maintaining Virtual Arc Consistency Dynamically during Search.

Hiep Nguyen, Simon de Givry, Thomas Schiex, Christian Bessiere

Browse the full ICTAI paper archive.