FAST: An Efficient Decision Procedure for Deduction and Static Equivalence.

Bruno Conchinha David A. Basin Carlos Caleiro

Published in: RTA (2011)

Keyphrases

decision making
inference rules
decision makers
proof procedure
decision rules
decision problems
theorem proving
search procedure
iterative procedure
learning algorithm
machine learning
video sequences
artificial neural networks
np hard
neural network
data sets
decision process
real time