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