Parallel Hybridization for SAT: An Efficient Combination of Search Space Splitting and Portfolio.
Rodrigue Konan TchindaClémentin Tayou DjamégniPublished in: ARIMA J. (2020)
Keyphrases
- search space
- search algorithm
- sat solvers
- search problems
- computer architecture
- search strategy
- parallel processing
- solution space
- combinatorial search
- portfolio management
- combining multiple
- satisfiability problem
- heuristic search
- computationally efficient
- optimal solution
- search strategies
- branch and bound
- search tree
- randomly generated
- parallel implementation
- metaheuristic
- reduce the search space
- propositional satisfiability
- decision making
- neural network