Vai al contenuto principale della pagina
Creatore: 
Frühwirth, Thom

Titolo: 
Essentials of Constraint Programming / by Thom Frühwirth, Slim Abdennadher

Link to work: 
Essentials of constraint programming

Pubblicazione:  Berlin, Heidelberg : Springer Berlin Heidelberg, 2003 
Estensione:  1 online resource (ix, 147 pages). 
Tipo formato:  computer 
Tipo contenuto:  text 
Tipo supporto:  online resource 
Disciplina:  005.13 
Titolo uniforme di collana:  Cognitive technologies. 
Genere/Forma:  Electronic books 
Classificazione LOC:  QA76.776.73 
QA76.76.C65  
Creatori/Collaboratori:  Abdennadher, Slim 
Nota di contenuto:  Introduction  Part I. Constraint Programming: Algorithm = Logic + Control; Preliminaries of Syntax and Semantics; Logic Programming; Constraint Logic Programming; Concurrent Constraint Logic Programming; Constraint Handling Rules  Part II. Constraint Systems: Constraint Systems and Constraint Solvers; Boolean Algebra B; Rational Trees RT; Linear Polynomial Equations R; Finite Domains FD; Nonlinear Equations I  Part III. Applications: Market Overview; Optimal Sender Placement for Wireless Communication; The Munich Rent Advisor; University Course Timetabling  Part IV. Appendix: Foundations from Logic; List of Figures; References; Index. 
Restrizioni accesso:  Access is restricted to users affiliated with licensed institutions. 
Sommario/riassunto:  The book is a short, concise and complete presentation of constraint programming and reasoning. The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and solve problems with uncertain, incomplete information and combinatorial problems, as they are abundant in industry and commerce, such as scheduling, planning, transportation, resource allocation, layout, design and analysis. The theoretically wellfounded presentation includes application examples from real life. It introduces the common classes of constraint programming languages and constraint systems in a uniform way. Constraint solving algorithms are specified and implemented in the constraint handling rules language (CHR). This book is ideally suited as a textbook for graduate students and as a resource for researchers and practitioners. The Internet support includes teaching material, software, latest news and online use and examples of the CHR language. 
Collana:  Cognitive Technologies, 16112482 
ISBN:  9783662051382 
3662051389  
9783642087127  
3642087124  
Formato:  Materiale a stampa 
Livello bibliografico  Monografia 
Lingua di pubblicazione:  Inglese 
Record Nr.:  004641767 
Localizzazioni e accesso elettronico  https://ebookcentral.proquest.com/lib/nyulibraryebooks/detail.action?docID=3100448 
Collocazione:  Electronic access 
Lo trovi qui:  New York University 