A Proof-Producing Decision Procedure for Real Arithmetic.

Sean McLaughlin John Harrison

Published in: CADE (2005)

Keyphrases

real life
feature selection
high quality
proof procedure
real time
image processing
relational databases
decision makers
decision rules
theorem proving
search procedure
decision processes