04574nam 22008175 450 99646587620331620200701054631.03-540-34216-810.1007/11754602(CKB)1000000000232980(SSID)ssj0000319756(PQKBManifestationID)11265296(PQKBTitleCode)TC0000319756(PQKBWorkID)10343459(PQKB)11373067(DE-He213)978-3-540-34216-8(MiAaPQ)EBC3068245(PPN)123134811(EXLCZ)99100000000023298020100301d2006 u| 0engurnn|008mamaatxtccrRecent Advances in Constraints[electronic resource] Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers /edited by Brahim Hnich, Mats Carlsson, Francois Fages, Francesca Rossi1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (VIII, 179 p.) Lecture Notes in Artificial Intelligence ;3978Bibliographic Level Mode of Issuance: Monograph3-540-34215-X Includes bibliographical references and index.Global Constraints -- The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables -- Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains -- Among, Common and Disjoint Constraints -- Search and Heuristics -- Partitioning Based Algorithms for Some Colouring Problems -- A CSP Search Algorithm with Reduced Branching Factor -- Analysis of Heuristic Synergies -- Complexity Analysis of Heuristic CSP Search Algorithms -- Language and Implementation Issues -- A Type System for CHR -- Views and Iterators for Generic Constraint Implementations -- Modeling -- A Hybrid Benders’ Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse -- The Challenge of Exploiting Weak Symmetries -- On Generators of Random Quasigroup Problems.Lecture Notes in Artificial Intelligence ;3978Computer industryArtificial intelligenceSoftware engineeringProgramming languages (Electronic computers)Computer logicAlgorithmsThe Computer Industryhttps://scigraph.springernature.com/ontologies/product-market-codes/I24016Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XAlgorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Computer industry.Artificial intelligence.Software engineering.Programming languages (Electronic computers).Computer logic.Algorithms.The Computer Industry.Artificial Intelligence.Software Engineering/Programming and Operating Systems.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.Algorithm Analysis and Problem Complexity.005.1/16Hnich Brahimedthttp://id.loc.gov/vocabulary/relators/edtCarlsson Matsedthttp://id.loc.gov/vocabulary/relators/edtFages Francoisedthttp://id.loc.gov/vocabulary/relators/edtRossi Francescaedthttp://id.loc.gov/vocabulary/relators/edtEuropean Research Consortium for Informatics and Mathematics.CoLogNET.Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic ProgrammingBOOK996465876203316Recent Advances in Constraints772535UNISA