On the sampling Lovász Local Lemma for atomic constraint satisfaction problems.
Vishesh JainHuy Tuan PhamThuy Duong VuongPublished in: CoRR (2021)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint programming
- constraint propagation
- search space
- np complete
- combinatorial problems
- np hard
- arc consistency
- non binary
- constraint networks
- constraint solving
- global constraints
- forward checking
- constraint problems
- product configuration
- computational problems
- partial constraint satisfaction
- disjunctive temporal
- soft constraints
- backtracking search
- special case
- arc consistency algorithm
- arithmetic constraints
- decomposition methods
- tractable subclasses