Using Sequential Runtime Distributions for the Parallel Speedup Prediction of SAT Local Search.
Alejandro ArbelaezCharlotte TruchetPhilippe CodognetPublished in: CoRR (2024)
Keyphrases
- satisfiability testing
- search algorithm
- prediction accuracy
- mining sequential
- propositional satisfiability
- sat solvers
- stochastic local search
- probability distribution
- orders of magnitude
- prediction error
- propositional logic
- parallel version
- search strategies
- prediction algorithm
- random variables
- prediction model
- sat solving
- satisfiability problem
- shared memory
- optimal solution
- parallel programming
- search procedures
- tabu search
- parallel implementation
- global search
- automated reasoning
- parallel computation
- optimization problems
- gaussian distribution
- parallel processing
- combinatorial optimization
- parallel execution
- search space
- metaheuristic
- artificial neural networks
- simulated annealing