On 2-QBF Truth Testing in Parallel.
Bengt AspvallChristos LevcopoulosAndrzej LingasRobert StorlindPublished 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