3 papers
cs.DS2026
Exploiting Low-Rank Objective Structure in Discrete Quadratic Optimization
Ria Stevens, Fangshuo Liao, Barbara Su +3
We study the problem of maximizing a complex-valued quadratic form over the roots of unity. We show that when the objective matrix $\mathbf{Q}^\star \in \mathbb{C}^…
cs.LO2025
Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
Zhiwei Zhang, Samy Wu Fung, Anastasios Kyrillidis +2
The Boolean satisfiability (SAT) problem lies at the core of many applications in combinatorial optimization, software verification, cryptography, and machine learning. While state…
cs.LG2025
Unveiling Hidden Pivotal Players with GoalNet: A GNN-Based Soccer Player Evaluation System
Jacky Hao Jiang, Jerry Cai, Anastasios Kyrillidis
Soccer analysis tools emphasize metrics such as expected goals, leading to an overrepresentation of attacking players' contributions and overlooking players who facilitate ball con…