Efficient extraction of Skolem functions from QRAT proofs.

Marijn Heule Martina Seidl Armin Biere

Published in: FMCAD (2014)

Keyphrases

first order logic
data mining
theorem proving
information technology
computationally efficient
databases
real world
computer vision
case study
image sequences
evolutionary algorithm
cost effective
theorem prover