Minimal Forward Checking with Backmarking and Conflict-Directed Backjumping.

Alvin C. M. Kwan, Edward P. K. Tsang

Browse the full ICTAI paper archive.