Integer Programming and Combinatorial Optimization [[electronic resource] ] : 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings / / edited by Andrea Lodi, Viswanath Nagarajan |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XI, 454 p. 313 illus., 20 illus. in color.) |
Disciplina | 519.77 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Numerical analysis
Computer science—Mathematics Discrete mathematics Algorithms Artificial intelligence—Data processing Computer arithmetic and logic units Numerical Analysis Discrete Mathematics in Computer Science Data Science Arithmetic and Logic Structures |
ISBN | 3-030-17953-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Identically Self-Blocking Clutters -- Min-Max Correlation Clustering via -- Strong Mixed-Integer Programming Formulations for Trained Neural -- Extended Formulations from Communication Protocols in Output-Efficient -- Sub-Symmetry-Breaking Inequalities for ILP with Structured Symmetry -- Intersection Cuts for Polynomial Optimization -- Fixed-Order Scheduling on Parallel Machines -- Online Submodular Maximization: Beating 1/2 Made Simple -- Improving the Integrality Gap for Multiway Cut -- nell 1-sparsity Approximation Bounds for Packing Integer Programs -- A General Framework for Handling Commitment in Online Throughput Maximization -- Lower Bounds and A New Exact Approach for the Bilevel Knapsack with Interdiction Constraints -- On Friedmann's Subexponential Lower Bound for Zadeh's Pivot Rule -- Tight Approximation Ratio for Minimum Maximal Matching -- Integer Programming and Incidence Treedepth -- A Bundle Approach for SDPs with Exact Subgraph Constraints -- Dynamic Flows with Adaptive Route Choice -- The Markovian Price of Information -- On Perturbation Spaces of Minimal Valid Functions: Inverse Semigroup Theory and Equivariant Decomposition Theorem -- On Compact Representations of Voronoi Cells of Lattices -- An Efficient Characterization of Submodular Spanning Tree Games -- The Asymmetric Traveling Salesman Path LP Has Constant Integrality Ratio -- Approximate Multi-Matroid Intersection via Iterative Refinement -- An Exact Algorithm for Robust Influence Maximization -- A New Contraction Technique with Applications to Congruency-Constrained Cuts -- Sparsity of Integer Solutions in the Average Case -- A Generic Exact Solver for Vehicle Routing and Related Problems -- Earliest Arrival Transshipments in Networks With Multiple Sinks -- Intersection Cuts for Factorable MINLP -- Linear Programming Using Limited-Precision Oracles -- Computing the Nucleolus of Weighted Cooperative Matching Games in Polynomial Time -- Breaking Symmetries to Rescue SoS: The Case of Makespan Scheduling -- Random Projections for Quadratic Programs over a Euclidean Ball. |
Record Nr. | UNISA-996466200403316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Integer Programming and Combinatorial Optimization : 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings / / edited by Andrea Lodi, Viswanath Nagarajan |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XI, 454 p. 313 illus., 20 illus. in color.) |
Disciplina | 519.77 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Numerical analysis
Computer science—Mathematics Discrete mathematics Algorithms Artificial intelligence—Data processing Computer arithmetic and logic units Numerical Analysis Discrete Mathematics in Computer Science Data Science Arithmetic and Logic Structures |
ISBN | 3-030-17953-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Identically Self-Blocking Clutters -- Min-Max Correlation Clustering via -- Strong Mixed-Integer Programming Formulations for Trained Neural -- Extended Formulations from Communication Protocols in Output-Efficient -- Sub-Symmetry-Breaking Inequalities for ILP with Structured Symmetry -- Intersection Cuts for Polynomial Optimization -- Fixed-Order Scheduling on Parallel Machines -- Online Submodular Maximization: Beating 1/2 Made Simple -- Improving the Integrality Gap for Multiway Cut -- nell 1-sparsity Approximation Bounds for Packing Integer Programs -- A General Framework for Handling Commitment in Online Throughput Maximization -- Lower Bounds and A New Exact Approach for the Bilevel Knapsack with Interdiction Constraints -- On Friedmann's Subexponential Lower Bound for Zadeh's Pivot Rule -- Tight Approximation Ratio for Minimum Maximal Matching -- Integer Programming and Incidence Treedepth -- A Bundle Approach for SDPs with Exact Subgraph Constraints -- Dynamic Flows with Adaptive Route Choice -- The Markovian Price of Information -- On Perturbation Spaces of Minimal Valid Functions: Inverse Semigroup Theory and Equivariant Decomposition Theorem -- On Compact Representations of Voronoi Cells of Lattices -- An Efficient Characterization of Submodular Spanning Tree Games -- The Asymmetric Traveling Salesman Path LP Has Constant Integrality Ratio -- Approximate Multi-Matroid Intersection via Iterative Refinement -- An Exact Algorithm for Robust Influence Maximization -- A New Contraction Technique with Applications to Congruency-Constrained Cuts -- Sparsity of Integer Solutions in the Average Case -- A Generic Exact Solver for Vehicle Routing and Related Problems -- Earliest Arrival Transshipments in Networks With Multiple Sinks -- Intersection Cuts for Factorable MINLP -- Linear Programming Using Limited-Precision Oracles -- Computing the Nucleolus of Weighted Cooperative Matching Games in Polynomial Time -- Breaking Symmetries to Rescue SoS: The Case of Makespan Scheduling -- Random Projections for Quadratic Programs over a Euclidean Ball. |
Record Nr. | UNINA-9910337840003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Integer Programming and Combinatorial Optimization [[electronic resource] ] : 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings / / edited by Andrea Lodi, Alessandro Panconesi, Giovanni Rinaldi |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XI, 477 p.) |
Disciplina | 519.7/7 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science—Mathematics
Discrete mathematics Numerical analysis Algorithms Computer graphics Discrete Mathematics in Computer Science Numerical Analysis Computer Graphics |
ISBN | 3-540-68891-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables -- Disjunctive Cuts for Non-convex Mixed Integer Quadratically Constrained Programs -- The Air Traffic Flow Management Problem: An Integer Optimization Approach -- Session 2 -- The Induced Disjoint Paths Problem -- A Weighted K t,t -Free t-Factor Algorithm for Bipartite Graphs -- A New Algorithm for the Maximum Weighted Stable Set Problem in Claw-Free Graphs -- A Polynomial Algorithm for Weighted Abstract Flow -- Session 3 -- A Comparative Study of Linear and Semidefinite Branch-and-Cut Methods for Solving the Minimum Graph Bisection Problem -- Binary Positive Semidefinite Matrices and Associated Integer Polytopes -- Vertex Cover Resists SDPs Tightened by Local Hypermetric Inequalities -- Session 4 -- Tight Bounds for Permutation Flow Shop Scheduling -- The Stochastic Machine Replenishment Problem -- A Polynomial Time Approximation Scheme for the Square Packing Problem -- Session 5 -- Modeling Disjunctive Constraints with a Logarithmic Number of Binary Variables and Constraints -- Computing with Multi-row Gomory Cuts -- Constraint Orbital Branching -- Session 6 -- A Fast, Simpler Algorithm for the Matroid Parity Problem -- Degree Bounded Matroids and Submodular Flows -- Budgeted Matching and Budgeted Matroid Intersection Via the Gasoline Puzzle -- Session 7 -- Primal-Dual Schema for Capacitated Covering Problems -- Offline and Online Facility Leasing -- Importance Sampling via Load-Balanced Facility Location -- Session 8 -- A Constant Approximation Algorithm for the a priori Traveling Salesman Problem -- New Geometry-Inspired Relaxations and Algorithms for the Metric Steiner Tree Problem -- Min Sum Edge Coloring in Multigraphs Via Configuration LP -- Session 9 -- An Improved Algorithm for Finding Cycles Through Elements -- The Stable Roommates Problem with Choice Functions -- A New Approach to Splitting-Off -- Session 10 -- Can Pure Cutting Plane Algorithms Work? -- The Mixing Set with Divisible Capacities -- A Polynomial Time Algorithm for the Stochastic Uncapacitated Lot-Sizing Problem with Backlogging -- Lifting Integer Variables in Minimal Inequalities Corresponding to Lattice-Free Triangles. |
Record Nr. | UNISA-996465589803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Integer Programming and Combinatorial Optimization [[electronic resource] ] : 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings / / edited by Andrea Lodi, Alessandro Panconesi, Giovanni Rinaldi |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XI, 477 p.) |
Disciplina | 519.7/7 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science—Mathematics
Discrete mathematics Numerical analysis Algorithms Computer graphics Discrete Mathematics in Computer Science Numerical Analysis Computer Graphics |
ISBN | 3-540-68891-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables -- Disjunctive Cuts for Non-convex Mixed Integer Quadratically Constrained Programs -- The Air Traffic Flow Management Problem: An Integer Optimization Approach -- Session 2 -- The Induced Disjoint Paths Problem -- A Weighted K t,t -Free t-Factor Algorithm for Bipartite Graphs -- A New Algorithm for the Maximum Weighted Stable Set Problem in Claw-Free Graphs -- A Polynomial Algorithm for Weighted Abstract Flow -- Session 3 -- A Comparative Study of Linear and Semidefinite Branch-and-Cut Methods for Solving the Minimum Graph Bisection Problem -- Binary Positive Semidefinite Matrices and Associated Integer Polytopes -- Vertex Cover Resists SDPs Tightened by Local Hypermetric Inequalities -- Session 4 -- Tight Bounds for Permutation Flow Shop Scheduling -- The Stochastic Machine Replenishment Problem -- A Polynomial Time Approximation Scheme for the Square Packing Problem -- Session 5 -- Modeling Disjunctive Constraints with a Logarithmic Number of Binary Variables and Constraints -- Computing with Multi-row Gomory Cuts -- Constraint Orbital Branching -- Session 6 -- A Fast, Simpler Algorithm for the Matroid Parity Problem -- Degree Bounded Matroids and Submodular Flows -- Budgeted Matching and Budgeted Matroid Intersection Via the Gasoline Puzzle -- Session 7 -- Primal-Dual Schema for Capacitated Covering Problems -- Offline and Online Facility Leasing -- Importance Sampling via Load-Balanced Facility Location -- Session 8 -- A Constant Approximation Algorithm for the a priori Traveling Salesman Problem -- New Geometry-Inspired Relaxations and Algorithms for the Metric Steiner Tree Problem -- Min Sum Edge Coloring in Multigraphs Via Configuration LP -- Session 9 -- An Improved Algorithm for Finding Cycles Through Elements -- The Stable Roommates Problem with Choice Functions -- A New Approach to Splitting-Off -- Session 10 -- Can Pure Cutting Plane Algorithms Work? -- The Mixing Set with Divisible Capacities -- A Polynomial Time Algorithm for the Stochastic Uncapacitated Lot-Sizing Problem with Backlogging -- Lifting Integer Variables in Minimal Inequalities Corresponding to Lattice-Free Triangles. |
Record Nr. | UNINA-9910483927303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [[electronic resource] ] : 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010, Proceedings / / edited by Andrea Lodi, Michela Milano, Paolo Toth |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XI, 369 p. 70 illus.) |
Disciplina | 519.64 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Artificial intelligence
Discrete mathematics Computer science Numerical analysis Computer science—Mathematics Algorithms Artificial Intelligence Discrete Mathematics Theory of Computation Numerical Analysis Discrete Mathematics in Computer Science |
ISBN |
1-280-38701-7
9786613564931 3-642-13520-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Towards a MIP-Cut Metascheme -- Challenges for CPAIOR in Computational Sustainability -- Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving -- On Matrices, Automata, and Double Counting -- The Increasing Nvalue Constraint -- Improving the Held and Karp Approach with Constraint Programming -- Characterization and Automation of Matching-Based Neighborhoods -- Rapid Learning for Binary Programs -- Hybrid Methods for the Multileaf Collimator Sequencing Problem -- Automatically Exploiting Subproblem Equivalence in Constraint Programming -- Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition -- Integrated Maintenance Scheduling for Semiconductor Manufacturing -- A Constraint Programming Approach for the Service Consolidation Problem -- Solving Connected Subgraph Problems in Wildlife Conservation -- Consistency Check for the Bin Packing Constraint Revisited -- A Relax-and-Cut Framework for Gomory’s Mixed-Integer Cuts -- An In-Out Approach to Disjunctive Optimization -- A SAT Encoding for Multi-dimensional Packing Problems -- Job Shop Scheduling with Setup Times and Maximal Time-Lags: A Simple Constraint Programming Approach -- On the Design of the Next Generation Access Networks -- Vehicle Routing for Food Rescue Programs: A Comparison of Different Approaches -- Constraint Programming and Combinatorial Optimisation in Numberjack -- Automated Configuration of Mixed Integer Programming Solvers -- Upper Bounds on the Number of Solutions of Binary Integer Programs -- Matrix Interdiction Problem -- Strong Combination of Ant Colony Optimization with Constraint Programming Optimization -- Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios -- Constraint Programming with Arbitrarily Large Integer Variables -- Constraint-Based Local Search for Constrained Optimum Paths Problems -- Stochastic Constraint Programming by Neuroevolution with Filtering -- The Weighted Spanning Tree Constraint Revisited -- Constraint Reasoning with Uncertain Data Using CDF-Intervals -- Revisiting the Soft Global Cardinality Constraint -- A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling -- Strategic Planning for Disaster Recovery with Stochastic Last Mile Distribution -- Massively Parallel Constraint Programming for Supercomputers: Challenges and Initial Results -- Boosting Set Constraint Propagation for Network Design -- More Robust Counting-Based Search Heuristics with Alldifferent Constraints. |
Record Nr. | UNISA-996465610403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010, Proceedings / / edited by Andrea Lodi, Michela Milano, Paolo Toth |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XI, 369 p. 70 illus.) |
Disciplina | 519.64 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Artificial intelligence
Discrete mathematics Computer science Numerical analysis Computer science—Mathematics Algorithms Artificial Intelligence Discrete Mathematics Theory of Computation Numerical Analysis Discrete Mathematics in Computer Science |
ISBN |
1-280-38701-7
9786613564931 3-642-13520-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Towards a MIP-Cut Metascheme -- Challenges for CPAIOR in Computational Sustainability -- Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving -- On Matrices, Automata, and Double Counting -- The Increasing Nvalue Constraint -- Improving the Held and Karp Approach with Constraint Programming -- Characterization and Automation of Matching-Based Neighborhoods -- Rapid Learning for Binary Programs -- Hybrid Methods for the Multileaf Collimator Sequencing Problem -- Automatically Exploiting Subproblem Equivalence in Constraint Programming -- Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition -- Integrated Maintenance Scheduling for Semiconductor Manufacturing -- A Constraint Programming Approach for the Service Consolidation Problem -- Solving Connected Subgraph Problems in Wildlife Conservation -- Consistency Check for the Bin Packing Constraint Revisited -- A Relax-and-Cut Framework for Gomory’s Mixed-Integer Cuts -- An In-Out Approach to Disjunctive Optimization -- A SAT Encoding for Multi-dimensional Packing Problems -- Job Shop Scheduling with Setup Times and Maximal Time-Lags: A Simple Constraint Programming Approach -- On the Design of the Next Generation Access Networks -- Vehicle Routing for Food Rescue Programs: A Comparison of Different Approaches -- Constraint Programming and Combinatorial Optimisation in Numberjack -- Automated Configuration of Mixed Integer Programming Solvers -- Upper Bounds on the Number of Solutions of Binary Integer Programs -- Matrix Interdiction Problem -- Strong Combination of Ant Colony Optimization with Constraint Programming Optimization -- Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios -- Constraint Programming with Arbitrarily Large Integer Variables -- Constraint-Based Local Search for Constrained Optimum Paths Problems -- Stochastic Constraint Programming by Neuroevolution with Filtering -- The Weighted Spanning Tree Constraint Revisited -- Constraint Reasoning with Uncertain Data Using CDF-Intervals -- Revisiting the Soft Global Cardinality Constraint -- A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling -- Strategic Planning for Disaster Recovery with Stochastic Last Mile Distribution -- Massively Parallel Constraint Programming for Supercomputers: Challenges and Initial Results -- Boosting Set Constraint Propagation for Network Design -- More Robust Counting-Based Search Heuristics with Alldifferent Constraints. |
Record Nr. | UNINA-9910484528903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|