|
" Essentials of constraint programming / "
Thom Frühwirth, Slim Abdennadher
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
604723
|
| Doc. No
|
:
|
GBA3Z2566b433942
|
| Main Entry
|
:
|
Frühwirth, Thom,1962-
|
| Title & Author
|
:
|
Essentials of constraint programming /\ Thom Frühwirth, Slim Abdennadher
|
| Series Statement
|
:
|
Cognitive technologies
|
| Page. NO
|
:
|
ix, 144 pages ;; 24 cm
|
| ISBN
|
:
|
3540676236
|
|
|
:
|
: 9783540676232
|
|
|
:
|
: 3642087124
|
|
|
:
|
: 9783642087127
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references (pages 137-140) and index
|
| Contents
|
:
|
1. Introduction -- Part I. Constraint programming -- 2. Algorithm = logic + control -- 3. Preliminaries of syntax and semantics -- 4. Logic programming -- 5. Constraint logic programming -- 6. Concurrent constraint logic programming -- 7. Constraint handling rules -- Part II. Constraint systems -- 8. Constraint systems and constraint solvers -- 9. Boolean algebra B -- 10. Rational trees RT -- 11. Linear polynomial equations -- 12. Finite domains FD -- 13. Non-linear equations I -- Part III. Applications -- 14. Market overview -- 15. Optimal sender placement for wireless communication -- 16. The Munich rent advisor -- 17. University course timetabling -- Part IV. Appendix -- A. Foundations from logic
|
| Subject
|
:
|
Constraint programming (Computer science)
|
| Dewey Classification
|
:
|
005.1/1
|
| LC Classification
|
:
|
QA76.612.F78 2003
|
| Added Entry
|
:
|
Abdennadher, Slim,1967-
|
| |