Login / Signup
A New Clause Learning Scheme for Efficient Unsatisfiability Proofs.
Knot Pipatsrisawat
Adnan Darwiche
Published in:
AAAI (2008)
Keyphrases
</>
learning scheme
theorem prover
learning algorithm
real world
decision trees