Search Ordering Heuristics for Restarts-Based Constraint Solving.

Margarita Razgon, Barry O'Sullivan, Gregory M. Provan

Browse the full FlAIRS paper archive.