Skip to main content

Module backtracking

unifier::solver

Module backtracking 

Source
Expand description

Backtracking CSP solver with dom/wdeg variable ordering and AC-3 constraint propagation.

References:

  • Haralick, R. M., & Elliott, G. L. (1980). Increasing tree search efficiency for constraint satisfaction problems. Artificial Intelligence, 14(3), 263-313.
  • Bitner, J. R., & Reingold, E. M. (1975). Backtrack programming techniques. CACM, 18(11), 651-656.
  • Boussemart, F., Hemery, F., Lecoutre, C., & Sais, L. (2004). Boosting systematic search by weighting constraints. ECAI 2004.

Structsยง

BacktrackingSolver
Backtracking solver with dom/wdeg variable ordering and constraint propagation.