Conflict History Based Branching Heuristic for CSP Solving.

Djamal Habet, Cyril Terrioux

Browse the full ICTAI paper archive.