Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
scientific article; zbMATH DE number 7440320
scientific article