04504nam 22007935 450 99646589950331620230405235703.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)99100000000023298220100301d2006 u| 0engurnn|008mamaatxtccrIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems[electronic resource] Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings /edited by J. Christopher Beck, Barbara Smith1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (X, 301 p.) Theoretical Computer Science and General Issues,2512-2029 ;3990Bibliographic 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.Theoretical Computer Science and General Issues,2512-2029 ;3990Software engineeringNumerical analysisComputer science—MathematicsDiscrete mathematicsAlgorithmsArtificial intelligenceOperations researchSoftware EngineeringNumerical AnalysisDiscrete Mathematics in Computer ScienceAlgorithmsArtificial IntelligenceOperations Research and Decision TheorySoftware engineering.Numerical analysis.Computer science—Mathematics.Discrete mathematics.Algorithms.Artificial intelligence.Operations research.Software Engineering.Numerical Analysis.Discrete Mathematics in Computer Science.Algorithms.Artificial Intelligence.Operations Research and Decision Theory.006.3Beck J. Christopheredthttp://id.loc.gov/vocabulary/relators/edtSmith Barbaraedthttp://id.loc.gov/vocabulary/relators/edtInternational Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation ProblemsBOOK996465899503316Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems771927UNISA02120nas 2200397 n 450 99000901622040332120260423130001.00760-5374000901622FED01000901622(Aleph)000901622FED01000901622CNRP 0003614420090724b19831984km-y0itaa50------bafreFRauu--------<<Les >>Nouvelles littéraires, des arts, des sciences et de la société1983-1984ParisCITAREF0010009016212001<<Les >>Nouvelles littéraireshebdomadaire de l'actualité culturelle2001<<L'>>Autre journal<<Les >>Nouvelles littéraires, des arts, des sciences et de la société07805909ITACNP20090723https://acnpsearch.unibo.it/posseduto/24779/NA074+NA079+NA040+NA103+NA133+NA034+NA255+NA032+NA088+NA171+NA118+NA120+NA163+NA186+NA014+NA247+NA129+NA256+NA106+NA089+NA134+NA100+NA108+NA072+NA015+NA080+NA087+NA138+NA095+NA042+NA036+NA104+NA039+NA105+NA233+NA214+NA213+NA033+NA116+NA085+NA219+NA212+NA109+NA244+NA218+NA102+NA093+NA132+NA037+NA007+NA215+NA086+NA004+NA144+NA073+NA220+NA018+NA084+NA107+NA078+NA239+NA206Biblioteche che possiedono il periodicoSE990009016220403321Biblioteca della Facoltà di Economia Complesso Universitario Monte S. Angelo- Università degli Studi di Napoli "Federico II"1983-1984.DECBCDECBCNouvelles littéraires, des arts, des sciences et de la société789756UNINA866-01NA042 Biblioteca della Facoltà di Economia Complesso Universitario Monte S. Angelo- Università degli Studi di Napoli "Federico II"via Cinthia,26, 80126 Napoli (NA)081676647-0816782081676684itacnp.cib.unibo.itACNP Italian Union Catalogue of Serialshttp://acnp.cib.unibo.it/cgi-ser/start/it/cnr/df-p.tcl?catno=24779&language=ITALIANO&libr=&person=&B=1&libr_th=unina&proposto=NO