Czasopismo
1998
|
Vol. 34, nr 3
|
295-321
Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Warianty tytułu
Języki publikacji
Abstrakty
We provide here a proof theoretic account of constraint programming that attempts to capture the essential ingredients of this programming style. We exemplify it by presenting proof rules for linear constraints over interval domains, and illustrate their use by analyzing the constraint propagation process for the SEND + MORE = MONEY puzzle. We also show how this approach allows one to build new constraint solvers.
Słowa kluczowe
Czasopismo
Rocznik
Tom
Strony
295-321
Opis fizyczny
Twórcy
autor
- CWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands, apt@cwi.nl
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS1-0003-0045