Learning for quantified Boolean logic satisfiability (2002)

by E Giunchiglia, M Narizzano, A Tacchella
Venue:In Proc. AAAI’02