QBF Resolution Systems and Their Proof Complexities.

Valeriy Balabanov Magdalena Widl Jie-Hong R. Jiang

Published in: SAT (2014)

Keyphrases

building blocks
intelligent systems
database
data sets
machine learning
genetic algorithm
artificial intelligence
case study
computational complexity
distributed systems
computer systems
learning systems
complex systems
retrieval systems
theorem proving