HordeQBF: A Modular and Massively Parallel QBF Solver.

Tomás Balyo Florian Lonsing

Published in: SAT (2016)

Keyphrases

massively parallel
quantified boolean formulas
boolean formula
parallel computing
fine grained
reasoning tasks
high performance computing
decision procedures
parallel architectures
mesh connected
parallel machines
parallel computers
bayesian networks
access control
blue gene