Hnich, Brahim. <br/><br/>
Recent Advances in Constraints  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 /  [electronic resource] : 
edited by Brahim Hnich, Mats Carlsson, FranȺois Fages, Francesca Rossi. 
 - VIII, 179 p. Also available online.  online resource. 
 - Lecture Notes in Computer Science,  3978  0302-9743 ; .
 - Lecture Notes in Computer Science,  3978 .
<br/><br/>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. 
<br/><br/>ZDB-2-SCS ZDB-2-LNC 
<br/><br/><label>ISBN: </label>9783540342168 
<br/><br/><label>Standard No.: </label>10.1007/11754602  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer software.<br/>Logic design.<br/>Electronic data processing.<br/>Artificial intelligence.<br/>Computer Science.<br/>Artificial Intelligence (incl. Robotics).<br/>Programming Languages, Compilers, Interpreters.<br/>Logics and Meanings of Programs.<br/>Algorithm Analysis and Problem Complexity.<br/>Numeric Computing.<br/>Mathematical Logic and Formal Languages.
<br/><br/><label>LC Class. No.: </label>Q334-342 TJ210.2-211.495 
<br/><br/><label>Dewey Class. No.: </label>006.3