Imagen de Portada

Introducing Clause Cuts: Strong No-Good Cuts for MaxSAT Problems in Mixed Integer Linear Programming

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Engelhardt, Max, Adhikari, Milan, Staszek, Jonasz, Martin, Alexander
Formato:	Preprint
Publicado:	2025
Materias:	Optimization and Control 90C10 (Primary), 90C57 (Secondary)
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Linear Decision Tree Policies for Integer Linear Programs
por: Guyard, Théo, et al.
Publicado: (2026)

Cutting planes for signomial programming
por: Xu, Liding, et al.
Publicado: (2022)

Solving Cutting Stock Problems via an Extended Ryan-Foster Branching Scheme and Fast Column Generation
por: da Silva, Renan F. F., et al.
Publicado: (2023)

Assignment-Routing Optimization with Cutting-Plane Subtour Elimination: Solver and Benchmark Dataset
por: Yuan, Qilong
Publicado: (2025)

Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Terms
por: Bestuzheva, Ksenia, et al.
Publicado: (2022)

Bi-Objective Optimization over the Efficient Set of Multi-Objective Integer Quadratic Problem
por: Bencheikh, Ali, et al.
Publicado: (2024)

Steiner Cut Dominants
por: Conforti, Michele, et al.
Publicado: (2022)

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

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)

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

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

Equitable Routing--Rethinking the Multiple Traveling Salesman Problem
por: Bhadoriya, Abhay Singh, et al.
Publicado: (2024)

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

Constraint Qualification for Generic Parameter Families of Constraints in Optimization
por: Hamada, Naoki, et al.
Publicado: (2025)

Bi-Parameterized Two-Stage Stochastic Min-Max and Min-Min Mixed Integer Programs
por: Kang, Sumin, et al.
Publicado: (2025)

Accuracy and Performance Evaluation of Quantum, Classical and Hybrid Solvers for the Max-Cut Problem
por: Vodeb, Jaka, et al.
Publicado: (2024)

Norm-induced Cuts: Outer Approximation for Lipschitzian Constraint Functions
por: Göß, Adrian, et al.
Publicado: (2024)

Duality of Hoffman constants
por: Pena, Javier F., et al.
Publicado: (2023)

Mixed-Integer Linear Optimization for Cardinality-Constrained Random Forests
por: Burgard, Jan Pablo, et al.
Publicado: (2024)

On the Relationship Between the Value Function and the Efficient Frontier of a Mixed Integer Linear Optimization Problem
por: Fallah, Samira, et al.
Publicado: (2023)

Exact Decomposition Branching exploiting Lattice Structures
por: Halbig, Katrin, et al.
Publicado: (2024)

Benders decomposition algorithms for minimizing the spread of harmful contagions in networks
por: Tanınmış, Kübra, et al.
Publicado: (2023)

Valid Inequalities for Mixed Integer Bilevel Linear Optimization Problems
por: Tahernejad, Sahar, et al.
Publicado: (2025)

Assignment-Routing Optimization: Solvers for Problems Under Constraints
por: Qilong, Yuan, et al.
Publicado: (2025)

Mixed-Integer Linear Optimization for Semi-Supervised Optimal Classification Trees
por: Burgard, Jan Pablo, et al.
Publicado: (2024)

Generalizations of Total Dual Integrality
por: Guenin, Bertrand, et al.
Publicado: (2025)

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

The rainbow covering number of clean tangled clutters
por: Abdi, Ahmad, et al.
Publicado: (2025)

Optimistic Bilevel Optimization with Composite Lower-Level Problem
por: Solla, Mattia, et al.
Publicado: (2026)

An Algorithm to Solve Cardinality Constrained Quadratic Optimization Problem with an Application to the Best Subset Selection in Regression
por: Singh, Vikram, et al.
Publicado: (2025)

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

An Efficient and Almost Optimal Solver for the Joint Routing-Assignment Problem via Partial JRA and Large-α Optimization
por: Yuan, Qilong
Publicado: (2025)

Finding Short Paths on Simple Polytopes
por: Black, Alexander E., et al.
Publicado: (2026)

A Multi-Reference Relaxation Enforced Neighborhood Search Heuristic in SCIP
por: Bolusani, Suresh, et al.
Publicado: (2024)

Applying a Random-Key Optimizer on Mixed Integer Programs
por: Chaves, Antonio A., et al.
Publicado: (2026)

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

An Integer Linear Programming Model for the Evolomino Puzzle
por: Nikolaev, Andrei V., et al.
Publicado: (2026)

Assignment-Routing Optimization : Efficient Heuristic Solver with Shaking Algorithm
por: Qilong, Yuan, et al.
Publicado: (2025)

A Framework for Eliminating Paradoxical Orders in European Day-Ahead Electricity Markets through Mixed-Integer Linear Programming Strong Duality
por: Wang, Zhen, et al.
Publicado: (2026)