Efficient extraction of Skolem functions from QRAT proofs.

Marijn Heule, Martina Seidl, Armin Biere

Browse the full FMCAD paper archive.