SAT Competition 2020.
Nils FroleyksMarijn HeuleMarkus IserMatti JärvisaloMartin SudaPublished in: Artif. Intell. (2021)
Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- search algorithm
- sat solving
- phase transition
- max sat
- information retrieval
- boolean satisfiability
- propositional satisfiability
- sat instances
- stochastic local search
- competitive market
- international planning competition
- international competition
- database
- modulo theories
- branch and bound algorithm
- metaheuristic
- np complete
- information systems
- social networks
- genetic algorithm
- neural network
- data sets