SAT as an Effective Solving Technology for Constraint Problems.
Marco CadoliToni ManciniFabio PatriziPublished in: ISMIS (2006)
Keyphrases
- constraint problems
- constraint satisfaction
- constraint satisfaction problems
- randomly generated
- soft constraints
- constraint programming
- satisfiability problem
- sat solving
- phase transition
- search algorithm
- sat solvers
- constrained problems
- heuristic search
- genetic programming
- fuzzy logic
- sat instances
- stochastic local search
- optimisation problems
- cost function
- expert systems