An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables

Bernard Boigelot Sébastien Jodogne Pierre Wolper

Published in: CoRR (2003)

Keyphrases

integer arithmetic
floating point
high quality
database
random variables
decision problems
decision variables
information retrieval
decision making
high dimensional