Proof Generation from Delta-Decisions.

Sicun Gao Soonho Kong Edmund M. Clarke

Published in: SYNASC (2014)

Keyphrases

decision making
decision makers
theorem prover
generation process
data sets
real time
neural network
machine learning
multimedia
decision trees
multiresolution
scheduling problem
logic programs
decision process
generation algorithm
mathematical proofs