LEADER 04279nam 22008655 450 001 9910483224403321 005 20251226202926.0 010 $a3-540-89812-3 024 7 $a10.1007/978-3-540-89812-2 035 $a(CKB)1000000000545880 035 $a(SSID)ssj0000319755 035 $a(PQKBManifestationID)11236597 035 $a(PQKBTitleCode)TC0000319755 035 $a(PQKBWorkID)10338309 035 $a(PQKB)11003371 035 $a(DE-He213)978-3-540-89812-2 035 $a(MiAaPQ)EBC3063791 035 $a(MiAaPQ)EBC6413256 035 $a(PPN)130186236 035 $a(EXLCZ)991000000000545880 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRecent Advances in Constraints $e12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers /$fedited by François Fages, Francesca Rossi, Sylvain Soliman 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (VII, 159 p.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v5129 300 $aInternational conference proceedings. 311 08$a3-540-89811-5 320 $aIncludes bibliographical references and index. 327 $aA Comparison of the Notions of Optimality in Soft Constraints and Graphical Games -- Temporal Reasoning in Nested Temporal Networks with Alternatives -- SCLP for Trust Propagation in Small-World Networks -- Improving ABT Performance by Adding Synchronization Points -- On the Integration of Singleton Consistencies and Look-Ahead Heuristics -- Combining Two Structured Domains for Modeling Various Graph Matching Problems -- Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR -- Preference-Based Problem Solving for Constraint Programming -- Generalizing Global Constraints Based on Network Flows -- A Global Filtration for Satisfying Goals in Mutual Exclusion Networks. 330 $aThis book constitutes the thoroughly refereed and extended post-workshop proceedings of the 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, held in Rocquencourt, France, in June 2007. The 10 revised full papers presented were carefully reviewed and selected from 16 initial submissions. The papers address all aspects of constraint and logic programming, including foundational issues, implementation techniques, new applications as well as teaching issues. Particular emphasis is placed on assessing the current state of the art and identifying future directions. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v5129 606 $aArtificial intelligence 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aComputer science 606 $aAlgorithms 606 $aNumerical analysis 606 $aArtificial Intelligence 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aComputer Science Logic and Foundations of Programming 606 $aAlgorithms 606 $aNumerical Analysis 615 0$aArtificial intelligence. 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aNumerical analysis. 615 14$aArtificial Intelligence. 615 24$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aAlgorithms. 615 24$aNumerical Analysis. 676 $a005.115 686 $aDAT 706f$2stub 686 $aSS 4800$2rvk 702 $aRossi$b Francesca$f1962- 702 $aSoliman$b Sylvain 702 $aFages$b Francois 712 12$aERCIM International Workshop on Constraint Solving and Constraint Logic Programming. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483224403321 996 $aRecent Advances in Constraints$9772535 997 $aUNINA