AC2001-OP: An Arc-Consistency Algorithm for Constraint Satisfaction Problems.
Marlene ArangúMiguel A. SalidoFederico BarberPublished in: IEA/AIE (3) (2010)
Keyphrases
- arc consistency algorithm
- arc consistency
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- constraint programming
- arithmetic constraints
- soft constraints
- global constraints
- constraint networks
- np complete
- non binary
- search space
- combinatorial problems
- forward checking
- solving constraint satisfaction problems
- constraint solving
- path consistency
- decomposition methods
- np hard
- constraint solver
- binary constraints
- backtracking search
- pseudo boolean optimization
- temporal constraints
- fuzzy logic
- maintaining arc consistency