Searching for the Optimal Proof Schedule in a Proof-Carrying Survivability Paradigm - A Dynamic, Interactive Approach.

Yanjun Zuo John Babin

Published in: ITNG (2012)

Keyphrases

theorem prover
genetic algorithm
scheduling problem
dynamic environments
neural network
machine learning
decision trees
user interface
upper bound
constraint satisfaction problems
closed form
search strategies
natural deduction