Recent 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, FranȺois Fages, Francesca Rossi.
Tipo de material:
TextoSeries Lecture Notes in Computer Science, 3978Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Descripción: VIII, 179 p. Also available online. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783540342168Trabajos contenidos: SpringerLink (Online service)Tema(s): Computer science | Computer software | Logic design | Electronic data processing | Artificial intelligence | Computer Science | Artificial Intelligence (incl. Robotics) | Programming Languages, Compilers, Interpreters | Logics and Meanings of Programs | Algorithm Analysis and Problem Complexity | Numeric Computing | Mathematical Logic and Formal LanguagesFormatos físicos adicionales: Sin títuloClasificación CDD: 006.3 Clasificación LoC:Q334-342TJ210.2-211.495Recursos en línea: de clik aquí para ver el libro electrónico 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.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.