서지주요정보
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]
서명 / 저자 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.
저자명 Carlsson, Mats;Fages, François;Hnich, Brahim;Rossi, Francesca
단체명 Carlsson, Mats;Fages, François;Hnich, Brahim;Rossi, Francesca
발행사항 Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
총서명 Lecture Notes in Computer Science, 0302-9743 ; 3978
Online Access http://dx.doi.org/10.1007/11754602URL

서지기타정보

서지기타정보
청구기호 HD9696.2-9696.82
형태사항 VIII, 179 p. online resource.
언어 English
내용 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.
주제 Computer science.
Software engineering.
Programming languages (Electronic computers).
Algorithms.
Computer logic.
Artificial intelligence.
Computer industry.
Computer Science.
The Computer Industry.
Artificial Intelligence (incl. Robotics).
Software Engineering/Programming and Operating Systems.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
보유판 및 특별호 저록 Springer eBooks
ISBN 9783540342168
기타 표준번호 10.1007/11754602
QR CODE

책소개

전체보기

목차

전체보기

이 주제의 인기대출도서