LEADER 03745oam  2200661   450 
001 996466339403316
005 20220308163028.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   $a20210521d2008      uy             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 00$aRecent advances in constraints $e12th annual ercim international workshop on constraint solving and constraint 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, Germany ;$aNew York, United States :$cSpringer,$d[2008]
210  4$d©2008
215   $a1 online resource (VII, 159 p.)
225 1 $aLecture notes in computer science. Lecture notes in artificial intelligence ; 5129,$x0302-9743
300   $aInternational conference proceedings.
311   $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 computer science.$pLecture notes in artificial intelligence ;$v5129.
517 3 $aAnnual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming
517 3 $aCSCLP 2007
606   $aConstraint programming (Computer science)$vCongresses
606   $aLogic programming$vCongresses
615  0$aConstraint programming (Computer science)
615  0$aLogic programming
676   $a005.115
686   $aDAT 706f$2stub
686   $aSS 4800$2rvk
702   $aRossi$b Francesca$f1962-
702   $aSoliman$b Sylvain
702   $aFages$b François
712 12$aERCIM International Workshop on Constraint Solving and Constraint Logic Programming
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bUtOrBLW
906   $aBOOK
912   $a996466339403316
996   $aRecent Advances in Constraints$9772535
997   $aUNISA