On 2-QBF Truth Testing in Parallel.

Bengt Aspvall Christos Levcopoulos Andrzej Lingas Robert Storlind

Published in: Inf. Process. Lett. (1996)

Keyphrases

quantified boolean formulas
parallel processing
quantified boolean formulae
evolutionary algorithm
parallel programming

parallel implementation
propositional logic
parallel hardware
parallel execution
parallel computing

shared memory
artificial intelligence
test data
test cases

np complete
scheduling problem
case study
information systems