Short Proofs Without New Variables.

Marijn J. H. Heule Benjamin Kiesl Armin Biere

Published in: CADE (2017)

Keyphrases

variable selection
database
theorem prover
information systems
clustering algorithm
random variables
hidden variables