Open AccessTowards declarative diagnosis of constraint programs over finite domains
Author(s) -
Gérard Ferrand,
Willy Lesaint,
Alexandre Tessier
Publication year - 2003
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , constraint (computer aided design) , programming language , constraint programming , theoretical computer science , mathematics , mathematical optimization , geometry , stochastic programming