Satisfying versus Falsifying in Local Search for Satisfiability - (Poster Presentation).
Chu Min LiYu LiPublished in: SAT (2012)
Keyphrases
- satisfiability testing
- poster presentation
- stochastic local search
- satisfiability problem
- search algorithm
- propositional logic
- program committee
- genetic algorithm
- phase transition
- random sat instances
- invited talk
- sat problem
- tabu search
- propositional satisfiability
- search space
- computational complexity
- optimal solution
- accepted papers
- combinatorial optimization
- databases
- metaheuristic
- np complete
- np hard
- machine learning
- neural network