|
|
|
|
| LEADER |
04049nam a22004215i 4500 |
| 001 |
000285424 |
| 005 |
20210824110639.0 |
| 007 |
cr nn 008mamaa |
| 008 |
170530s2017 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783319597768
|
| 024 |
7 |
|
|a 10.1007/978-3-319-59776-8
|2 doi
|
| 040 |
|
|
|a Sistema de Bibliotecas del Tecnológico de Costa Rica
|
| 245 |
1 |
0 |
|a Integration of AI and OR Techniques in Constraint Programming :
|b 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings /
|c edited by Domenico Salvagnin, Michele Lombardi.
|
| 250 |
|
|
|a 1st ed. 2017.
|
| 260 |
# |
# |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2017.
|
| 300 |
|
|
|a XXIII, 420 p. 78 illus. :
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Theoretical Computer Science and General Issues ;
|v 10335
|
| 505 |
0 |
|
|a Sharpening Constraint Programming approaches for Bit-Vector Theory -- Range-Consistent Forbidden Regions of Allen's Relations -- MDDs are Efficient Modeling Tools: An Application to Dispersion Constraints -- On Finding the Optimal Relaxed Decision Diagram -- Design and Implementation of Bounded-Length Sequence Variables -- In Search of Balance: The Challenge of Generating Balanced Latin Rectangles -- Debugging Unsatisfiable Constraint Models -- Learning Decision Trees with Exible Constraints and Objectives Using Integer Optimization -- Relaxation Methods for Constrained Matrix Factorization Problems: Solving the Phase Mapping Problem in Materials Discovery -- Minimizing Landscape Resistance for Habitat Conservation -- A Hybrid Approach for Stator Winding Design Optimization -- A Distributed Optimal Method for the Geographically Distributed Data Centres Problem -- Explanation-Based-Weighted Degree -- Counting-Weighted Spanning Trees to Solve Constrained Minimum Spanning Tree Problems -- The Weighted Arborescence Constraint -- Learning When to Use a Decomposition -- Experiments with Conict Analysis in Mixed Integer Programming -- A First Look at Picking Dual Variables for Maximizing Reduced-cost Based fixing -- Experimental Validation of Volume-based Comparison for Double-McCormick Relaxations -- Vehicle Routing Problem with Min-max Objective and Heterogeneous Fleet -- Solving the Traveling Salesman Problem with Time Windows with Dynamic Discretization Discovery -- A Fast Prize-collecting Steiner Forest Algorithm for Functional Analyses in Biological Networks -- Scenario Based Learning for Stochastic Combinatorial Optimization -- Optimal Stock Sizing in a Cutting Stock Problem with Stochastic Demands -- Stochastic Task Networks: Trading Performance for Stability -- Rescheduling Railway Traffic on Real Time Situations Using Time-Interval Variables -- A Multi-stage Simulated Annealing Algorithm for the Torpedo Scheduling Problem -- Combining CP and ILP in a Tree Decomposition of Bounded Height to Solve the Sum Coloring Problem -- A Free, Open-Source Framework for (Customized) Tree Decompositions and Beyond -- The Nemhauser-Trotter Reduction and Lifted Message Passing for Weighted CSPs -- A Local Search Approach for Incomplete Soft Constraint Problems: Experimental Results on Meeting Scheduling Problems.
|
| 650 |
|
0 |
|a Numerical analysis.
|
| 650 |
|
0 |
|a Data structures (Computer science).
|
| 650 |
|
0 |
|a Computer science—Mathematics.
|
| 650 |
|
0 |
|a Algorithms.
|
| 650 |
|
0 |
|a Artificial intelligence.
|
| 650 |
|
0 |
|a Operations research.
|
| 650 |
|
0 |
|a Management science.
|
| 650 |
1 |
4 |
|a Numeric Computing.
|
| 650 |
2 |
4 |
|a Data Structures.
|
| 650 |
2 |
4 |
|a Discrete Mathematics in Computer Science.
|
| 650 |
2 |
4 |
|a Algorithm Analysis and Problem Complexity.
|
| 650 |
2 |
4 |
|a Artificial Intelligence.
|
| 650 |
2 |
4 |
|a Operations Research, Management Science.
|
| 700 |
1 |
|
|a Salvagnin, Domenico.
|e editor.
|
| 700 |
1 |
|
|a Lombardi, Michele.
|e editor.
|0 (orcid)0000-0003-4709-8888
|1 https://orcid.org/0000-0003-4709-8888
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|