LEADER 04867nam  22006375  450 
001 996466093503316
005 20200701185927.0
010   $a3-540-49032-9
024 7 $a10.1007/3-540-58601-6
035   $a(CKB)1000000000234199
035   $a(SSID)ssj0000325821
035   $a(PQKBManifestationID)11297454
035   $a(PQKBTitleCode)TC0000325821
035   $a(PQKBWorkID)10271790
035   $a(PQKB)10832403
035   $a(DE-He213)978-3-540-49032-6
035   $a(PPN)155227947
035   $a(EXLCZ)991000000000234199
100   $a20121227d1994      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aPrinciples and Practice of Constraint Programming$b[electronic resource] $eSecond International Workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2 - 4, 1994. Proceedings /$fedited by Alan Borning
205   $a1st ed. 1994.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1994.
215   $a1 online resource (X, 370 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v874
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-58601-6 
327   $aA substitution operation for constraints -- Contradicting conventional wisdom in constraint satisfaction -- Nogood backmarking with min-conflict repair in constraint satisfaction and optimization -- Global consistency for continuous constraints -- Locally simultaneous constraint satisfaction -- Analyzing and debugging hierarchies of multi-way local propagation constraints -- Inferring 3-dimensional constraints with DEVI -- Beyond finite domains -- QUAD-CLP(R): Adding the power of quadratic constraints -- Applications in constraint logic programming with strings -- Some methodological issues in the design of CIAO, a generic, parallel concurrent constraint logic programming system -- Encapsulated search and constraint programming in Oz -- Towards a concurrent semantics based analysis of CC and CLP -- CC programs with both in- and non-determinism: A concurrent semantics -- Efficient and complete tests for database integrity constraint checking -- Linear vs. polynomial constraints in database query languages -- Foundations of aggregation constraints -- Constraint-generating dependencies -- Constraint objects -- Specification and verification of constraint-based dynamic systems -- GSAT and dynamic backtracking -- Foundations of indefinite constraint databases -- Set constraints and set-based analysis -- On the design of constraint satisfaction problems -- Experiences with constraint-based array dependence analysis -- Set constraints: Results, applications and future directions -- Logic-based methods for optimization -- Panel session: Commercial Applications of Constraint programming.
330   $aThis volume is the proceedings of the Second International Workshop on the Principles and Practice of Constraint Programming, held at Rosario, Orcas Island, Washington, USA in May 1994 in cooperation with AAAI and ALP. The volume contains 27 full revised papers selected from 87 submissions as well as a summary of a panel session on commercial applications of constraint programming. The contributions cover a broad range of topics including constraint programming languages, algorithms for constraint satisfaction and entailment, and constraints and their relation to fields such as artificial intelligence, databases, operations research, problem solving, and user interfaces.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v874
606   $aProgramming languages (Electronic computers)
606   $aComputer programming
606   $aDatabase management
606   $aArtificial intelligence
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
615  0$aProgramming languages (Electronic computers).
615  0$aComputer programming.
615  0$aDatabase management.
615  0$aArtificial intelligence.
615 14$aProgramming Languages, Compilers, Interpreters.
615 24$aProgramming Techniques.
615 24$aDatabase Management.
615 24$aArtificial Intelligence.
676   $a005.13
702   $aBorning$b Alan$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466093503316
996   $aPrinciples and Practice of Constraint Programming$9774019
997   $aUNISA