Skolem Function Continuation for Quantified Boolean Formulas.

Katalin Fazekas Marijn J. H. Heule Martina Seidl Armin Biere

Published in: TAP@STAF (2017)

Keyphrases

quantified boolean formulas
first order logic
orders of magnitude
propositional satisfiability