Abstract solvers for quantified Boolean formulas and their applications
scientific article