Login / Signup

Adding Constraint Solving to Mercury.

Ralph BecketMaria J. García de la BandaKim MarriottZoltan SomogyiPeter J. StuckeyMark Wallace
Published in: PADL (2006)
Keyphrases
  • constraint solving
  • constraint propagation
  • constraint satisfaction problems
  • constraint logic programming
  • constraint satisfaction
  • constraint solver
  • constraint programming
  • path consistency