A self-adaptive multi-engine solver for quantified Boolean formulas.

Luca Pulina Armando Tacchella A self-adaptive multi-engine solver for quantified Boolean formulas. 80-116 2009 14 Constraints 1 http://dx.doi.org/10.1007/s10601-008-9051-2 db/journals/constraints/constraints14.html#PulinaT09