Login / Signup

Monad Transformers for Backtracking Search.

Jules Hedges
Published in: MSFP (2014)
Keyphrases
  • backtracking search
  • constraint satisfaction problems
  • search algorithm
  • backtracking algorithm
  • sat problem
  • constraint propagation
  • constraint satisfaction
  • objective function
  • search space