Login / Signup
Toupie = µ-Calculus + Constraints.
Antoine Rauzy
Published in:
CAV (1995)
Keyphrases
</>
constraint satisfaction
artificial intelligence
linear constraints
computer vision
multiscale
cardinality constraints
physical constraints
cardinal directions
multiple constraints