Login / Signup

An effective decision procedure for linear arithmetic over the integers and reals.

Bernard BoigelotSébastien JodognePierre 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