Using sequential runtime distributions for the parallel speedup prediction of SAT local search.
Alejandro ArbelaezCharlotte TruchetPhilippe CodognetPublished in: Theory Pract. Log. Program. (2013)
Keyphrases
- satisfiability testing
- search algorithm
- stochastic local search
- prediction accuracy
- propositional satisfiability
- mining sequential
- sat solvers
- orders of magnitude
- search strategies
- prediction algorithm
- genetic algorithm
- propositional logic
- shared memory
- probability distribution
- satisfiability problem
- prediction error
- random variables
- simulated annealing
- power law
- parallel version
- max sat
- combinatorial optimization
- sat problem
- island model
- prediction model