Strides

A General Theoretical Framework for Learning Smallest Interpretable Models

Artificial Intelligence, volume 350, pages 104441, 2026.

Computing Probabilistic Explanations for ML Models: Fixed-Parameter Algorithms

The 40th Annual AAAI Conference on Artificial Intelligence, AAAI-2026, 2026.
Note: To appear

Ordyniak, Sebastian, Rychlicki, Mateusz, Stefan Szeider

From Data Completion to Problems on Hypercubes: A Parameterized Analysis of the Independent Set Problem

Algorithmica, volume 88, number 1, pages 8, 2026.

OBDDs, SDDs, and Circuits of Bounded Width: Completeness Matters

Artificial Intelligence, volume 351, pages 104458, 2026.

Analyzing Reformulation Performance in Core-Guided MaxSAT Solving

28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, August 12-15, 2025, Glasgow, Scotland (Jeremias Berg and Jakob Nordström), volume 341 of LIPIcs, pages 26:1-26:18, 2025, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Balancing Latin Rectangles with LLM-Generated Streamliners

31st International Conference on Principles and Practice of Constraint Programming, CP 2025, August 10-15, 2025, Glasgow, Scotland (Maria Garcia de la Banda), volume 340 of LIPIcs, pages 36:1-36:17, 2025, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Florentina Voboril

Bridging Language Models and Symbolic Solvers via the Model Context Protocol

28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, August 12-15, 2025, Glasgow, Scotland (Jeremias Berg and Jakob Nordström), volume 341 of LIPIcs, pages 30:1-30:12, 2025, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Extracting Problem Structure with LLMs for Optimized SAT Local Search

SOCS 2025, The 18th International Symposium on Combinatorial Search. August 12-15, 2025. University of Glasgow, Scotland, United Kingdom, 2025.

André Schidler, Stefan Szeider

Generating Streamlining Constraints with Large Language Models

Journal of Artificial Intelligence Research, volume 84, pages 16:1-16:19, 2025.

Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider

Optimal Decision Tree Pruning Revisited: Algorithms and Complexity

Forty-second International Conference on Machine Learning, ICML 2025, Vancouver, BC, Canada, July 13-19, 2025, 2025, OpenReview.net.