Imagen de Portada

Automating Idealness Proofs for Binary Programs with Application to Rectangle Packing

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Fravel, Jamie, Hildebrand, Robert
Formato:	Preprint
Publicado:	2026
Materias:	Optimization and Control 90C11 (Primary) 90B05, 90C09 (Secondary)
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Bus Fleet Electrification Planning Through Logic-Based Benders Decomposition and Restriction Heuristics
por: Legault, Robin, et al.
Publicado: (2025)

Sailing League Problems
por: Schüler, Robert, et al.
Publicado: (2022)

Superadditivity-based valid inequalities and asymptotic bounds for the vehicle routing problem with stochastic demands
por: Legault, Robin, et al.
Publicado: (2025)

Subpath-Based Column Generation for Electric Vehicle Routing Problems
por: Jacquillat, Alexandre, et al.
Publicado: (2024)

Boscia.jl: A review and tutorial
por: Xiao, Wenjie, et al.
Publicado: (2025)

Progressively Strengthening and Tuning MIP Solvers for Reoptimization
por: Patel, Krunal Kishor
Publicado: (2023)

Fix-and-Propagate Heuristics Using Low-Precision First-Order LP Solutions for Large-Scale Mixed-Integer Linear Optimization
por: Kempke, Nils-Christian, et al.
Publicado: (2025)

CHAP: A Hybrid GPU-CPU Heuristic for MIP
por: Tjusila, Gennesaret Kharistio, et al.
Publicado: (2026)

Efficient arc-flow formulations for makespan minimisation on parallel machines with a common server
por: Druetto, Alessandro, et al.
Publicado: (2024)

A Vectorized Positive Semidefinite Penalty Method for Unconstrained Binary Quadratic Programming
por: Huo, Xinyue, et al.
Publicado: (2024)

Predict-then-Calibrate: A New Perspective of Robust Contextual LP
por: Sun, Chunlin, et al.
Publicado: (2023)

A Comparison of Models for Rolling Stock Scheduling
por: Grimm, Boris, et al.
Publicado: (2023)

Beyond Suspension: A Two-phase Methodology for Concluding Sports Leagues
por: Hassanzadeh, Ali, et al.
Publicado: (2024)

Learning to Choose Branching Rules for Nonconvex MINLPs
por: Berthold, Timo, et al.
Publicado: (2026)

Economic Nonlinear Model Predictive Control for Microgrids with Generator Up and Downtime Constraints
por: Gutekunst, Jürgen, et al.
Publicado: (2026)

Developing heuristic solution techniques for large-scale unit commitment models
por: Kempke, Nils-Christian, et al.
Publicado: (2025)

The Geometry of Linear Program Compression: An Exact Characterization and Learning Algorithm
por: Ye, Yuhan, et al.
Publicado: (2026)

Implied Integrality in Mixed-Integer Optimization
por: van der Hulst, Rolf, et al.
Publicado: (2025)

Penalty-Free SDDP: Feasibility Cuts for Robust Multi-Stage Stochastic Optimization in Energy Planning
por: Freitas, Guilherme, et al.
Publicado: (2025)

Optimal routing and transmission strategies for UAV reconnaissance missions with detection threats
por: Badenbroek, Riley, et al.
Publicado: (2024)

Speeding up the Goemans-Williamson randomized procedure by difference-of-convex optimization
por: Salloum, Hadi, et al.
Publicado: (2025)

A belief-state restless bandit model for treatment adherence: Whittle indexability via partial conservation laws
por: Niño-Mora, José, et al.
Publicado: (2026)

Two-stage heuristic algorithm for a new variant of the multi-compartment vehicle routing problem with stochastic demands
por: Gonçalves-Dosantos, Juan Carlos, et al.
Publicado: (2024)

Optimization of Closed-Loop Shallow Geothermal Systems Using Analytical Models
por: Heinzel, Oliver, et al.
Publicado: (2026)

Optimizing Flexibility in Power Systems by Maximizing the Region of Manageable Uncertainties
por: Zingler, Aron, et al.
Publicado: (2024)

Solving Low-Rank Semidefinite Programs via Manifold Optimization
por: Wang, Jie, et al.
Publicado: (2023)

Augmentation Algorithms for Integer Programs with Total Variation-like Regularization
por: Yang, Dominic, et al.
Publicado: (2025)

A model-free approach for solving choice-based competitive facility location problems using simulation and submodularity
por: Legault, Robin, et al.
Publicado: (2022)

CCOpt: an Open-Source Solver for Large-Scale Mathematical Programs with Complementarity Constraints
por: Pozharskiy, Anton, et al.
Publicado: (2026)

Simulation-Optimization Approaches for the Network Immunization Problem with Quarantining
por: Hoogervorst, Rowan, et al.
Publicado: (2024)

Epi-Consistent Approximation of Stochastic Dynamic Programs
por: Keehan, Dominic S. T., et al.
Publicado: (2025)

Solving Min-Cost Concave Generalized Dynamic Flows and Approximating Dynamic Optimal Power Flows
por: Rothschild, Jacob H.
Publicado: (2024)

On the Out-of-Sample Performance of Stochastic Dynamic Programming and Model Predictive Control
por: Keehan, Dominic S. T., et al.
Publicado: (2025)

Continuity of Filters for Discrete-Time Control Problems Defined by Explicit Equations
por: Feinberg, Eugene A., et al.
Publicado: (2023)

Efficiency and Convergence Insights in Large-Scale Optimization Using the Improved Inexact-Newton-Smart Algorithm and Interior-Point Framework
por: Renani, Neda Bagheri, et al.
Publicado: (2025)

Heavy-ball Differential Equation Achieves $O(\varepsilon^{-7/4})$ Convergence for Nonconvex Functions
por: Okamura, Kaito, et al.
Publicado: (2024)

Global optimization of multivariable functions satisfying the Vanderbei condition
por: Arutyunova, Natalya, et al.
Publicado: (2019)

Introducing Clause Cuts: Strong No-Good Cuts for MaxSAT Problems in Mixed Integer Linear Programming
por: Engelhardt, Max, et al.
Publicado: (2025)

On generalized KKT points for the Motzkin-Straus program
por: Beretta, G., et al.
Publicado: (2023)

A branch-and-cut algorithm for vehicle routing problems with three-dimensional loading constraints
por: Tamke, Felix, et al.
Publicado: (2024)