Extending arc-consistency algorithms for Non-Normalized CSPs.
Marlene ArangúMiguel A. SalidoFederico BarberPublished in: SGAI Conf. (2009)
Keyphrases
- arc consistency
- constraint satisfaction problems
- space complexity
- constraint satisfaction
- non binary
- path consistency
- singleton arc consistency
- forward checking
- constraint propagation
- binary constraints
- constraint graph
- constraint networks
- max csp
- solving constraint satisfaction problems
- soft constraints
- branch and bound search
- constraint programming
- computational complexity
- maintaining arc consistency
- arc consistency algorithm
- constraint problems
- np hard
- search space
- worst case
- arithmetic constraints
- combinatorial problems
- orders of magnitude
- graph theory