The Community Structure of Constraint Satisfaction Problems and Its Correlation with Search Time.
Michel MedemaAlexander LazovikPublished in: ICTAI (2020)
Keyphrases
- constraint satisfaction problems
- search space
- community structure
- constraint satisfaction
- forward checking
- constraint programming
- constraint solver
- search algorithm
- backtracking search
- constraint propagation
- symmetry breaking
- community detection
- complex networks
- backtrack search
- non binary
- social networks
- search problems
- search strategies
- np complete
- solving constraint satisfaction problems
- maintaining arc consistency
- ordering heuristics
- constraint solving
- combinatorial problems
- metaheuristic
- partial assignment
- np hard
- arc consistency
- real world networks
- constraint graph
- constraint networks
- sat problem
- community detection algorithms
- variable ordering
- decomposition methods
- soft constraints
- communities in social networks
- optimal solution