Vol-2251⫷ Vol-2252 ⫸Vol-2253
urn:nbn:de:0074-2252-0


Vol-2252/paper5⫷Vol-2252/paper6⫸Vol-2252/paper7
Djamal HabetCyril Terrioux

Conflict History Based Branching Heuristic for CSP Solving