Scale-Free Random SAT Instances.
Carlos AnsóteguiMaria Luisa BonetJordi LevyPublished in: Algorithms (2022)
Keyphrases
- scale free
- random sat instances
- stochastic local search
- small world
- complex networks
- sat problem
- small world networks
- max sat
- power law
- scale free networks
- small world properties
- sat solvers
- biological networks
- community structure
- boolean satisfiability
- power law distribution
- lower bound
- network analysis
- satisfiability problem
- tree search
- sat instances
- phase transition
- clustering coefficient
- branch and bound
- complex systems
- random sat
- data structure