Efficient extraction of Skolem functions from QRAT proofs | IEEE Conference Publication | IEEE Xplore