Disproof of the Neighborhood Conjecture with Implications to SAT.
Heidi GebauerPublished in: ESA (2009)
Keyphrases
- sat solvers
- satisfiability problem
- search algorithm
- sat problem
- stochastic local search algorithms
- search strategies
- phase transition
- max sat
- sat instances
- pseudo boolean constraints
- data sets
- sat solving
- boolean satisfiability
- neighborhood structure
- propositional satisfiability
- stochastic local search
- search procedures
- optimal solution
- information systems
- social networks
- artificial intelligence
- genetic algorithm
- data mining