A new parallel architecture for QBF tools.

Benoit Da Mota Pascal Nicolas Igor Stéphan

Published in: HPCS (2010)

Keyphrases

parallel architecture
systolic array
cooperative
parallel processing
quantified boolean formulas
image processing
pairwise
shared memory
parallel implementation
distributed memory
synthetic aperture sonar