Login / Signup

Building Constraint Solvers with HAL.

Maria J. García de la BandaDavid JefferyKim MarriottNicholas NethercotePeter J. StuckeyChristian Holzbaur
Published in: ICLP (2001)
Keyphrases
  • constraint solvers
  • constraint satisfaction problems
  • cellular automata
  • solving problems
  • neural network
  • constraint programming
  • constraint solver
  • set bounds propagation