OpenAlex
Skolem Function Continuation for Quantified Boolean Formulas
Work