Login / Signup
An effective decision procedure for linear arithmetic over the integers and reals.
Bernard Boigelot
Sébastien Jodogne
Pierre Wolper
Published in:
ACM Trans. Comput. Log. (2005)
Keyphrases
</>
integer arithmetic
database
information retrieval
decision making
image processing
floating point
artificial intelligence
website
evolutionary algorithm
decision processes