How QBF Expansion Makes Strategy Extraction Hard.

Leroy Chew Judith Clymo

Published in: IJCAR (1) (2020)

Keyphrases

automatic extraction
evolutionary algorithm
data sets
machine learning
decision trees
knowledge representation
information extraction
selection strategy
quantified boolean formulas