LEADER 03386nam  22006855  450 
001 9910298963703321
005 20200707023243.0
010   $a3-319-25883-4
024 7 $a10.1007/978-3-319-25883-6
035   $a(CKB)3710000000501138
035   $a(EBL)4086858
035   $a(SSID)ssj0001584223
035   $a(PQKBManifestationID)16264571
035   $a(PQKBTitleCode)TC0001584223
035   $a(PQKBWorkID)14865940
035   $a(PQKB)10155262
035   $a(DE-He213)978-3-319-25883-6
035   $a(MiAaPQ)EBC4086858
035   $a(PPN)190527021
035   $a(EXLCZ)993710000000501138
100   $a20151107d2015      u|             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aConstraint Solving and Planning with Picat$b[electronic resource] /$fby Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (155 p.)
225 1 $aSpringerBriefs in Intelligent Systems, Artificial Intelligence, Multiagent Systems, and Cognitive Robotics,$x2196-548X
300   $aDescription based upon print version of record.
311   $a3-319-25881-8 
320   $aIncludes bibliographical references and index.
327   $aAn Overview of Picat -- Basic Constraint Modeling -- Advanced Constraint Modeling -- Dynamic Programming with Tabling -- From Dynamic Programming to Planning -- Planning with Resource-Bounded Search -- Encodings for the Traveling Salesman Problem -- Index.
330   $aThis book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules, and a module for planning that is implemented using tabling. The book is useful for undergraduate and graduate students, researchers, and practitioners.
410  0$aSpringerBriefs in Intelligent Systems, Artificial Intelligence, Multiagent Systems, and Cognitive Robotics,$x2196-548X
606   $aArtificial intelligence
606   $aComputers
606   $aData mining
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aData Mining and Knowledge Discovery$3https://scigraph.springernature.com/ontologies/product-market-codes/I18030
615  0$aArtificial intelligence.
615  0$aComputers.
615  0$aData mining.
615 14$aArtificial Intelligence.
615 24$aTheory of Computation.
615 24$aData Mining and Knowledge Discovery.
676   $a005.115
700   $aZhou$b Neng-Fa$4aut$4http://id.loc.gov/vocabulary/relators/aut$01065084
702   $aKjellerstrand$b Håkan$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aFruhman$b Jonathan$4aut$4http://id.loc.gov/vocabulary/relators/aut
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910298963703321
996   $aConstraint Solving and Planning with Picat$92543138
997   $aUNINA