LEADER 03677cam a2200565Mi 4500 001 004641767 005 20170726073937.5 006 m o d 007 cr^mnu---uuaaa 008 130107s2003 gw o 000 0 eng 020 $a9783662051382$q(electronic bk.) 020 $a3662051389$q(electronic bk.) 020 $z9783642087127 020 $z3642087124 020 $z3662051389 024 7 $a10.1007/978-3-662-05138-2$2doi 035 $a(OCoLC)851371065 035 1 $aocn851371065$borig 001 035 7 $aebceb_3100448$bderived from 856u 040 $aAU@$beng$epn$cAU@$dGW5XE$dOCLCF$dCOO$dOCLCQ$dEBLCP$dOCLCQ$dYDX 050 4$aQA76.7-76.73 050 4$aQA76.76.C65 072 7$aUMX$2bicssc 072 7$aUMC$2bicssc 072 7$aCOM051010$2bisacsh 072 7$aCOM010000$2bisacsh 082 04$a005.13$223 100 1 $aFru?hwirth, Thom.$1http://share-vde.org/sharevde/rdfBibframe/Agent/1092629$1http://isni.org/isni/0000000109079286 245 10$aEssentials of Constraint Programming /$cby Thom Fru?hwirth, Slim Abdennadher. 260 $aBerlin, Heidelberg :$bSpringer Berlin Heidelberg,$c2003.$9http://share-vde.org/sharevde/rdfBibframe/Publisher/5 300 $a1 online resource (ix, 147 pages). 336 $atext$btxt$2rdacontent$0http://rdaregistry.info/termList/RDAContentType/1020 337 $acomputer$bc$2rdamedia$0http://rdaregistry.info/termList/RDAMediaType/1002 338 $aonline resource$bcr$2rdacarrier$0http://rdaregistry.info/termList/RDACarrierType/1018 490 1 $aCognitive Technologies,$x1611-2482 505 0 $aIntroduction -- 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; Non-linear 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. 506 $aAccess is restricted to users affiliated with licensed institutions. 520 $aThe 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 well-founded 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. 650 0$aComputer science.$0http://id.loc.gov/authorities/subjects/sh89003285 650 0$aLogic design.$0http://id.loc.gov/authorities/subjects/sh85078117 650 0$aArtificial intelligence.$0http://id.loc.gov/authorities/subjects/sh85008180 650 7$aArtificial intelligence.$2fast$0(OCoLC)fst00817247 650 7$aComputer science.$2fast$0(OCoLC)fst00872451 650 7$aLogic design.$2fast$0(OCoLC)fst01002045 655 4$aElectronic books. 700 1 $aAbdennadher, Slim.$1http://isni.org/isni/0000000110553889 758 $4http://rdaregistry.info/Elements/m/P30004$1http://worldcat.org/oclc/851371065 776 08$iPrint version:$z9783642087127 830 0$aCognitive technologies.$1http://share-vde.org/sharevde/rdfBibframe/Work/129621-1$1http://viaf.org/viaf/178355590 852 0 $aNNU$bBWEB$cBNYUI$hQA76.76.C65$mElectronic access 856 40$uhttps://ebookcentral.proquest.com/lib/nyulibrary-ebooks/detail.action?docID=3100448$yEbook Central$7owned; unlimited user 996 10$aEssentials of constraint programming$9http://share-vde.org/sharevde/rdfBibframe/Work/5249513-1 997 10$aNYU