Login / Signup
Universally Quantified Interval Constraints.
Frédéric Benhamou
Frédéric Goualard
Published in:
CP (2000)
Keyphrases
</>
universally quantified
existentially quantified
natural language
programming language
linear constraints
search space