HordeQBF: A Modular and Massively Parallel QBF Solver.
Tomás BalyoFlorian LonsingPublished in: CoRR (2016)
Keyphrases
- massively parallel
- quantified boolean formulas
- boolean formula
- fine grained
- parallel computing
- decision procedures
- high performance computing
- reasoning tasks
- parallel machines
- parallel architectures
- parallel programming
- message passing interface
- parallel computers
- processing elements
- propositional satisfiability
- mesh connected
- practical problems
- information systems
- genetic algorithm