04075nam 2200673 a 450 991048381150332120200520144314.03-540-34307-510.1007/11757375(CKB)1000000000232982(SSID)ssj0000318357(PQKBManifestationID)11205762(PQKBTitleCode)TC0000318357(PQKBWorkID)10328355(PQKB)10870515(DE-He213)978-3-540-34307-3(MiAaPQ)EBC3068128(PPN)123134900(EXLCZ)99100000000023298220060411d2006 uy 0engurnn#008mamaatxtccrIntegration of AI and OR techniques in constraint programming for combinatorial optimization problems third international conference, CPAIOR 2006, Cork, Ireland, May 31-June 2, 2006 : proceedings /J. Christopher Beck, Barbara M. Smith (eds.)1st ed. 2006.Berlin Springer20061 online resource (X, 301 p.)Lecture notes in computer science,0302-9743 ;3990LNCS sublibrary. SL 1, Theoretical computer science and general issuesBibliographic Level Mode of Issuance: Monograph3-540-34306-7 Includes bibliographical references and index.Invited Talks -- Opt Art -- Planning for Mixed Discrete Continuous Domains -- Duality in Optimization and Constraint Satisfaction -- Technical Papers -- A Totally Unimodular Description of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs -- The Range Constraint: Algorithms and Implementation -- On the Separability of Subproblems in Benders Decompositions -- A Hybrid Column Generation and Constraint Programming Optimizer for the Tail Assignment Problem -- The Power of Semidefinite Programming Relaxations for MAX-SAT -- Expected-Case Analysis for Delayed Filtering -- Plan B: Uncertainty/Time Trade-Offs for Linear and Integer Programming -- Progressive Solutions: A Simple but Efficient Dominance Rule for Practical RCPSP -- AND/OR Branch-and-Bound Search for Pure 0/1 Integer Linear Programming Problems -- The Timetable Constrained Distance Minimization Problem -- Conflict-Directed A* Search for Soft Constraints -- Event-Driven Probabilistic Constraint Programming -- Online Stochastic Reservation Systems -- Traveling Tournament Scheduling: A Systematic Evaluation of Simulated Annealling -- Open Constraints in a Closed World -- Conditional Lexicographic Orders in Constraint Satisfaction Problems -- An Efficient Hybrid Strategy for Temporal Planning -- Improved Algorithm for the Soft Global Cardinality Constraint.Lecture notes in computer science ;3990.LNCS sublibrary.SL 1,Theoretical computer science and general issues.CPAIOR 2006Constraints (Artificial intelligence)CongressesConstraint programming (Computer science)CongressesCombinatorial optimizationCongressesArtificial intelligenceCongressesOperations researchCongressesConstraints (Artificial intelligence)Constraint programming (Computer science)Combinatorial optimizationArtificial intelligenceOperations research006.3Beck J. Christopher1749857Smith Barbara1948-1749858International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation ProblemsMiAaPQMiAaPQMiAaPQBOOK9910483811503321Integration of AI and OR techniques in constraint programming for combinatorial optimization problems4184315UNINA