Correlating the Community Structure of Constraint Satisfaction Problems with Search Time.
Michel MedemaAlexander LazovikPublished in: Int. J. Artif. Intell. Tools (2022)
Keyphrases
- constraint satisfaction problems
- community structure
- search space
- constraint satisfaction
- backtracking search
- forward checking
- constraint solver
- community detection
- constraint programming
- constraint propagation
- complex networks
- search problems
- symmetry breaking
- backtrack search
- np complete
- solving constraint satisfaction problems
- arc consistency
- search strategy
- search algorithm
- combinatorial problems
- social networks
- non binary
- constraint solving
- ordering heuristics
- maintaining arc consistency
- network analysis
- real world networks
- constraint networks
- constraint problems
- temporal reasoning
- soft constraints
- np hard
- decomposition methods
- reasoning problems
- search strategies
- partial assignment
- variable ordering heuristics
- objective function
- partial constraint satisfaction
- communities in social networks
- lower bound
- state space
- overlapping communities
- phase transition