Cover Image

State-of-the-art Methods for Pseudo-Boolean Solving with SCIP

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mexi, Gioni, Kamp, Dominik, Shinano, Yuji, Pu, Shanwen, Hoen, Alexander, Bestuzheva, Ksenia, Hojny, Christopher, Walter, Matthias, Pfetsch, Marc E., Pokutta, Sebastian, Koch, Thorsten
Format:	Preprint
Published:	2025
Subjects:	Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Sparsity-driven Aggregation of Mixed Integer Programs
by: Xu, Liding, et al.
Published: (2025)

The SCIP Optimization Suite 9.0
by: Bolusani, Suresh, et al.
Published: (2024)

The SCIP Optimization Suite 10.0
by: Hojny, Christopher, et al.
Published: (2025)

Objective Coefficient Rounding and Almost Symmetries in Binary Programs
by: Kuzinowicz, Dominik, et al.
Published: (2025)

Global Optimization for Combinatorial Geometry Problems Revisited in the Era of LLMs
by: Berthold, Timo, et al.
Published: (2026)

Out-of-the-Box Global Optimization for Packing Problems: New Models and Improved Solutions
by: Berthold, Timo, et al.
Published: (2026)

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

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

A Frank-Wolfe-based primal heuristic for quadratic mixed-integer optimization
by: Mexi, Gioni, et al.
Published: (2025)

Learning Cuts via Enumeration Oracles
by: Thuerck, Daniel, et al.
Published: (2023)

MIP-DD: A Delta Debugger for Mixed Integer Programming Solvers
by: Hoen, Alexander, et al.
Published: (2024)

Branch and Price for the Length-Constrained Cycle Partition Problem
by: Ghannam, Mohammed, et al.
Published: (2024)

The Binary Linearization Complexity of Pseudo-Boolean Functions
by: Walter, Matthias
Published: (2023)

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

Probabilistic Lookahead Strong Branching via a Stochastic Abstract Branching Model
by: Mexi, Gioni, et al.
Published: (2023)

Cut-based Conflict Analysis in Mixed Integer Programming
by: Mexi, Gioni, et al.
Published: (2024)

Branch and price for nonlinear production-maintenance scheduling in complex machinery
by: Dionísio, João, et al.
Published: (2025)

Detecting and Handling Reflection Symmetries in Mixed-Integer (Nonlinear) Programming
by: Hojny, Christopher
Published: (2024)

Solving the Optimal Experiment Design Problem with Mixed-Integer Convex Methods
by: Hendrych, Deborah, et al.
Published: (2023)

Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs
by: Sundermann, Chico, et al.
Published: (2025)

Scalable DC Optimization via Adaptive Frank-Wolfe Algorithms
by: Pokutta, Sebastian
Published: (2025)

Frank-Wolfe Beyond 1/t Convergence
by: Pokutta, Sebastian
Published: (2026)

An Exceptionally Difficult Binary Quadratic Optimization Problem with Symmetry: a Challenge for The Largest Unsolved QAP Instance Tai256c
by: Fujii, Koichi, et al.
Published: (2023)

Social dialogue with and for youth: challenges and opportunities in the evolving world of work
by: Maria Mexi (Author)
Published: (2023)

Constrained C-Test Generation via Mixed-Integer Programming
by: Lee, Ji-Ung, et al.
Published: (2024)

A Framework for Handling and Exploiting Symmetry in Benders' Decomposition
by: Hojny, Christopher, et al.
Published: (2025)

Computational Aspects of Lifted Cover Inequalities for Knapsacks with Few Different Weights
by: Hojny, Christopher, et al.
Published: (2024)

A computational comparison of handling distance constraints in MINLP
by: Hojny, Christopher, et al.
Published: (2026)

Selection Hyper-heuristics Can Automatically Adjust the Learning Period to Optimally Solve Pseudo-Boolean Problems
by: Doerr, Benjamin, et al.
Published: (2026)

Solving Quantified Boolean Formulas with Few Existential Variables
by: Eriksson, Leif, et al.
Published: (2024)

Responses to Comment on “Low Temperature Fast Mixed OH − /H + Ionic Conductor in Doped Strontium Cerates”
by: Shanwen Tao
Published: (2025)

Approximating the Network Design Problem for Potential-Based Flows
by: Klimm, Max, et al.
Published: (2026)

Engineering an Exact Pseudo-Boolean Model Counter
by: Yang, Suwei, et al.
Published: (2023)

New Hybrid Heuristics for Pseudo-Boolean Propagation
by: Müßig, Mia, et al.
Published: (2025)

On Top-Down Pseudo-Boolean Model Counting
by: Yang, Suwei, et al.
Published: (2025)

Beyond Static Responses: Multi-Agent LLM Systems as a New Paradigm for Social Science Research
by: Haase, Jennifer, et al.
Published: (2025)

Human-AI Co-Creativity: Exploring Synergies Across Levels of Creative Collaboration
by: Haase, Jennifer, et al.
Published: (2024)

Conditional Gradients for the Approximate Vanishing Ideal
by: Wirth, Elias, et al.
Published: (2022)

Second-order Conditional Gradient Sliding
by: Carderera, Alejandro, et al.
Published: (2020)

Splitting the Conditional Gradient Algorithm
by: Woodstock, Zev, et al.
Published: (2023)