Login / Signup

Solving Systems of Set Constraints (Extended Abstract)

Alexander AikenEdward L. Wimmers
Published in: LICS (1992)
Keyphrases
  • extended abstract
  • finite domain
  • management system
  • complex systems
  • combinatorial optimization
  • convex hull
  • constraint programming
  • lower and upper bounds
  • linear constraints
  • constraint sets