activity
20232025
collaborators

5 papers

math.OC2025

Objective Coefficient Rounding and Almost Symmetries in Binary Programs

Dominik Kuzinowicz, Paweł Lichocki, Gioni Mexi +3

This article investigates the interplay of rounding objective coefficients in binary programs and almost symmetries. Empirically, reducing the number of significant bits through ro…

eess.SP2024

Gridless Parameter Estimation in Partly Calibrated Rectangular Arrays

Tianyi Liu, Sai Pavan Deram, Khaled Ardah +3

Spatial frequency estimation from a mixture of noisy sinusoids finds applications in various fields. While subspace-based methods offer cost-effective super-resolution parameter es…

cs.CL2024

Constrained C-Test Generation via Mixed-Integer Programming

Ji-Ung Lee, Marc E. Pfetsch, Iryna Gurevych

This work proposes a novel method to generate C-Tests; a deviated form of cloze tests (a gap filling exercise) where only the last part of a word is turned into a gap. In contrast…

math.OC2024

The SCIP Optimization Suite 9.0

Suresh Bolusani, Mathieu Besançon, Ksenia Bestuzheva +28

The SCIP Optimization Suite provides a collection of software packages for mathematical optimization, centered around the constraint integer programming (CIP) framework SCIP. This…

eess.SP2023

Maximum A Posteriori Direction-of-Arrival Estimation via Mixed-Integer Semidefinite Programming

Tianyi Liu, Frederic Matter, Alexander Sorg +3

We propose a joint sparse maximum a posteriori (MAP) estimator for DOA estimation from multiple snapshots, reformulated as a mixed-integer semidefinite program (MISDP). This enable…