LEADER 04523nam  22008055  450 
001 996465965403316
005 20200705114233.0
024 7 $a10.1007/b106890
035   $a(CKB)1000000000212873
035   $a(SSID)ssj0000392782
035   $a(PQKBManifestationID)11289236
035   $a(PQKBTitleCode)TC0000392782
035   $a(PQKBWorkID)10360418
035   $a(PQKB)10989898
035   $a(DE-He213)978-3-540-32252-8
035   $a(MiAaPQ)EBC3067654
035   $a(PPN)12309285X
035   $a(EXLCZ)991000000000212873
100   $a20100707d2005      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aRecent Advances in Constraints$b[electronic resource] $eJoint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers /$fedited by Boi Faltings, Adrian Petcu, François Fages, Francesca Rossi
205   $a1st ed. 2005.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005.
215   $a1 online resource (X, 217 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v3419
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-32252-3 
311   $a3-540-25176-6 
320   $aIncludes bibliographical references and index.
327   $aConstraint Propagation -- GCC-Like Restrictions on the Same Constraint -- A Note on Bilattices and Open Constraint Programming -- Pruning by Equally Constrained Variables -- Search -- Trying Again to Fail-First -- Characterization of a New Restart Strategy for Randomized Backtrack Search -- Dynamic Distributed BackJumping -- A Value Ordering Heuristic for Local Search in Distributed Resource Allocation -- Automatically Exploiting Symmetries in Constraint Programming -- New Structural Decomposition Techniques for Constraint Satisfaction Problems -- Applications -- Algorithms for the Maximum Hamming Distance Problem -- A System Prototype for Solving Multi-granularity Temporal CSP -- Computing Equilibria Using Interval Constraints -- Constraint-Based Approaches to the Covering Test Problem -- Super Solutions for Combinatorial Auctions -- Better Propagation for Non-preemptive Single-Resource Constraint Problems.
410  0$aLecture Notes in Artificial Intelligence ;$v3419
606   $aArtificial intelligence
606   $aProgramming languages (Electronic computers)
606   $aAlgorithms
606   $aComputer logic
606   $aMathematical logic
606   $aNumerical analysis
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aNumeric Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I1701X
615  0$aArtificial intelligence.
615  0$aProgramming languages (Electronic computers).
615  0$aAlgorithms.
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aNumerical analysis.
615 14$aArtificial Intelligence.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aNumeric Computing.
676   $a006.3
702   $aFaltings$b Boi$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPetcu$b Adrian$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aFages$b François$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRossi$b Francesca$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 02$aEuropean Research Consortium for Informatics and Mathematics.
712 02$aCoLogNET.
906   $aBOOK
912   $a996465965403316
996   $aRecent Advances in Constraints$9772535
997   $aUNISA