SAT Competition 2016: Recent Developments.
Tomás BalyoMarijn J. H. HeuleMatti JärvisaloPublished in: AAAI (2017)
Keyphrases
- recent developments
- satisfiability problem
- recent advances
- sat solvers
- boolean satisfiability
- sat problem
- search algorithm
- stochastic local search
- phase transition
- international competition
- search strategies
- neural network
- sat solving
- industrial applications
- max sat
- sat instances
- stochastic local search algorithms
- modulo theories