Decision levels are stable: towards better SAT heuristics.
Robert NieuwenhuisAdrià LozanoAlbert OliverasEnric Rodríguez-CarbonellPublished in: LPAR (2020)
Keyphrases
- stochastic local search algorithms
- search algorithm
- decision making
- search strategies
- propositional satisfiability
- satisfiability problem
- variable ordering
- neural network
- decision makers
- decision problems
- sat solvers
- influence diagrams
- decision process
- levels of abstraction
- search procedures
- stochastic local search
- decision model
- high levels
- solving hard
- sat solving
- orders of magnitude