Fractional homomorphism, Weisfeiler-Leman invariance, and the Sherali-Adams hierarchy for the Constraint Satisfaction Problem.
Silvia ButtiVictor DalmauPublished in: CoRR (2021)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- np complete
- constraint programming
- constraint propagation
- search space
- constraint problems
- constraint solving
- non binary
- arc consistency
- product configuration
- np hard
- soft constraints
- mixed integer
- constraint networks
- partial constraint satisfaction
- temporal constraints
- tractable subclasses
- disjunctive temporal
- decomposition methods
- global constraints
- pseudo boolean optimization
- constraint graph
- problems in artificial intelligence
- dynamic constraint satisfaction problems