Learning for Quantified Boolean Logic Satisfiability.

Enrico Giunchiglia Massimo Narizzano Armando Tacchella

Published in: AAAI/IAAI (2002)

Keyphrases

learning algorithm
boolean logic
learning process
online learning
expert systems
active learning
programming language
np complete
learning systems
background knowledge
integrity constraints
learning tasks