Sign in

A Proof-Producing Decision Procedure for Real Arithmetic.

Sean McLaughlinJohn 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