Boolean Propagation Based on Literals for Quantified Boolean Formulae.

Igor Stphan

Browse the full ECAI paper archive.