New width parameters for SAT and #SAT.
Robert GanianStefan SzeiderPublished in: Artif. Intell. (2021)
Keyphrases
- sat solvers
- satisfiability problem
- boolean satisfiability
- sat solving
- sat problem
- stochastic local search algorithms
- search algorithm
- maximum likelihood
- sat instances
- max sat
- propositional satisfiability
- phase transition
- search strategies
- genetic algorithm
- stochastic local search
- measured data
- input parameters
- parameter values
- parameter space
- graph coloring
- orders of magnitude
- hidden markov models
- variable ordering
- artificial neural networks
- data sets
- backtracking search
- pseudo boolean constraints