Non-uniform time sharing in the concurrent execution of constraint solving
Under an Elsevier user license
open archive
Keywords
Backtracking
Forward checking
Dynamic variable ordering heuristic
Graph colouring
Phase transition
Cited by (0)
Copyright © 1999 Elsevier Science B.V. All rights reserved.