04447nam 22008415 450 99646548470331620200702132219.03-540-73817-710.1007/978-3-540-73817-6(CKB)1000000000490908(SSID)ssj0000319754(PQKBManifestationID)11235109(PQKBTitleCode)TC0000319754(PQKBWorkID)10339095(PQKB)11074599(DE-He213)978-3-540-73817-6(MiAaPQ)EBC3061812(MiAaPQ)EBC6283397(PPN)12316396X(EXLCZ)99100000000049090820100301d2007 u| 0engurnn#008mamaatxtccrRecent Advances in Constraints[electronic resource] 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 Revised Selected and Invited Papers /edited by Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi1st ed. 2007.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2007.1 online resource (VIII, 188 p.)Lecture Notes in Artificial Intelligence ;4651Bibliographic Level Mode of Issuance: Monograph3-540-73816-9 Includes bibliographical references and index.Tutorial -- Hybrid Algorithms in Constraint Programming -- Technical Papers -- An Attempt to Dynamically Break Symmetries in the Social Golfers Problem -- A Constraint Model for State Transitions in Disjunctive Resources -- Reusing CSP Propagators for QCSPs -- Bipolar Preference Problems: Framework, Properties and Solving Techniques -- Distributed Forward Checking May Lie for Privacy -- Solving First-Order Constraints in the Theory of the Evaluated Trees -- Extracting Microstructure in Binary Constraint Networks -- Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees -- Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems -- Cost-Based Filtering for Stochastic Inventory Control.Lecture Notes in Artificial Intelligence ;4651Artificial intelligenceProgramming languages (Electronic computers)Computer logicAlgorithmsNumerical analysisMathematical logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming 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/I16021Numeric Computinghttps://scigraph.springernature.com/ontologies/product-market-codes/I1701XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial intelligence.Programming languages (Electronic computers).Computer logic.Algorithms.Numerical analysis.Mathematical logic.Artificial Intelligence.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.Algorithm Analysis and Problem Complexity.Numeric Computing.Mathematical Logic and Formal Languages.005.11Azevedo Franciscoedthttp://id.loc.gov/vocabulary/relators/edtBarahona Pedroedthttp://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.MiAaPQMiAaPQMiAaPQBOOK996465484703316Recent Advances in Constraints772535UNISA