04498nam 22008055 450 991076750310332120200705114233.010.1007/b106890(CKB)1000000000212873(SSID)ssj0000392782(PQKBManifestationID)11289236(PQKBTitleCode)TC0000392782(PQKBWorkID)10360418(PQKB)10989898(DE-He213)978-3-540-32252-8(MiAaPQ)EBC3067654(PPN)12309285X(EXLCZ)99100000000021287320100707d2005 u| 0engurnn|008mamaatxtccrRecent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers /edited by Boi Faltings, Adrian Petcu, François Fages, Francesca Rossi1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (X, 217 p.) Lecture Notes in Artificial Intelligence ;3419Bibliographic Level Mode of Issuance: Monograph3-540-32252-3 3-540-25176-6 Includes bibliographical references and index.Constraint 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.Lecture Notes in Artificial Intelligence ;3419Artificial intelligenceProgramming languages (Electronic computers)AlgorithmsComputer logicMathematical logicNumerical analysisArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Numeric Computinghttps://scigraph.springernature.com/ontologies/product-market-codes/I1701XArtificial intelligence.Programming languages (Electronic computers).Algorithms.Computer logic.Mathematical logic.Numerical analysis.Artificial Intelligence.Programming Languages, Compilers, Interpreters.Algorithm Analysis and Problem Complexity.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Numeric Computing.006.3Faltings Boiedthttp://id.loc.gov/vocabulary/relators/edtPetcu Adrianedthttp://id.loc.gov/vocabulary/relators/edtFages Françoisedthttp://id.loc.gov/vocabulary/relators/edtRossi Francescaedthttp://id.loc.gov/vocabulary/relators/edtEuropean Research Consortium for Informatics and Mathematics.CoLogNET.BOOK9910767503103321Recent Advances in Constraints772535UNINA