Fast DQBF Refutation.

Bernd Finkbeiner Leander Tentrup

Published in: SAT (2014)

Keyphrases

theorem proving
inductive inference
theorem prover
automated theorem proving
classical logic
training set
fuzzy logic