Parallel Satisfiability Solver Based on Hybrid Partitioning Method.
Tarek MenouerSouheib BaarirPublished in: PDP (2017)
Keyphrases
- quantified boolean formulas
- satisfiability testing
- parallel programming
- parallel genetic algorithm
- boolean formula
- propositional logic
- shared memory
- parallel implementation
- computational complexity
- bit parallel
- sat solving
- satisfiability problem
- parallel processing
- np complete
- data sets
- parallel computing
- hybrid learning
- parallel computation
- parallel algorithm
- database systems
- database