Fractional Homomorphism, Weisfeiler-Leman Invariance, and the Sherali-Adams Hierarchy for the Constraint Satisfaction Problem.
Silvia ButtiVíctor DalmauPublished in: MFCS (2021)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- constraint programming
- np complete
- non binary
- search space
- constraint solving
- np hard
- product configuration
- arc consistency
- partial constraint satisfaction
- mixed integer
- constraint networks
- global constraints
- structural properties
- tractable classes
- decomposition methods
- description logics
- hard constraints
- constraint graph
- finding optimal solutions
- search algorithm