Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF.

Aaron Stump Clark W. Barrett David L. Dill

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

decision making
decision makers
theorem proving
three dimensional
high quality
search algorithm
decision rules
decision process
databases
evolutionary algorithm
fuzzy logic
decision problems
light field
formal proof