Sign in
Bridging the gap between easy generation and efficient verification of unsatisfiability proofs.
Marijn Heule
Warren A. Hunt Jr.
Nathan Wetzler
Published in:
Softw. Test. Verification Reliab. (2014)
Keyphrases
</>
neural network
database systems
lightweight
theorem proving
real time
databases
learning algorithm
search engine
data streams
expert systems
computationally efficient
cost effective
computationally expensive
theorem prover