A Tool for Checking the CSP sat Property.

Jeremy M. R. Martin

Published in: Comput. J. (2000)

Keyphrases

constraint satisfaction problems
software tools
sat problem
sat encodings
backtracking search
neural network
search algorithm
special case
np complete
orders of magnitude
constraint satisfaction
satisfiability problem
sat solvers
constraint propagation