PARASOL interface to new parallel solvers: a case study.

Alexander V. Supalov Clemens-August Thole

Published in: PDP (1998)

Keyphrases

case study
user friendly
user interface
parallel processing
test bed
information systems
parallel computation
neural network
real time
graphical interface
quantified boolean formulas
parallel programming
parallel computing
sat solvers
orders of magnitude
data structure
knowledge base
search engine
real world