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