Login / Signup

Solving non-linear arithmetic constraints in soft realtime environments.

Hendrik Skubch
Published in: SAC (2012)
Keyphrases
  • arithmetic constraints
  • real time
  • constraint satisfaction problems
  • arc consistency
  • special case
  • dynamic environments
  • database management systems