Skip to content

Monotone Literals and Learning in QBF Reasoning.

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella

VenueACP
Year2004
ProceedingsCP

Browse the full CP paper archive.