← Search

Manuel Sorge

12 accepted papers

2026

How Hard Is It to Explain Preferences Using Few Boolean Attributes?

AAAI 2026technical

We study the computational complexity of explaining preference data through Boolean attribute models (BAMs), motivated by extensive research involving attribute models and their promise in understanding preference structure and enabling more efficient decision-making processes. In a BAM, each alte

Cited by 0SourcePDFScholar
2026

Tractability via Low Dimensionality: The Parameterized Complexity of Training Quantized Neural Networks

ICLR 2026poster

The training of neural networks has been extensively studied from both algorithmic and complexity-theoretic perspectives, yet recent results in this direction almost exclusively concern real-valued networks. In contrast, advances in machine learning practice highlight the benefits of quantization, w…

Cited by 0SourceScholar
2025

Learning Minimum-Size BDDs: Towards Efficient Exact Algorithms

ICML 2025poster

Binary decision diagrams (BDDs) are widely applied tools to compactly represent labeled data as directed acyclic graphs; for efficiency and interpretability reasons small BDDs are preferred. Given labeled data, minimizing BDDs is NP-complete and thus recent research focused on the influence of param…

Cited by 0SourcePDFScholar
2025

Optimal Decision Tree Pruning Revisited: Algorithms and Complexity

ICML 2025poster

We present a comprehensive classical and parameterized complexity analysis of decision tree pruning operations, extending recent research on the complexity of learning small decision trees. Thereby, we offer new insights into the computational challenges of decision tree simplification, a crucial as…

Cited by 0SourcePDFScholar
2025

Witty: An Efficient Solver for Computing Minimum-Size Decision Trees

AAAI 2025technical

Decision trees are a classic model for summarizing and classifying data. To enhance interpretability and generalization properties, it has been proposed to favor small decision trees. Accordingly, in the minimum-size decision tree training problem (MSDT), the input is a set of training examples in…

Cited by 1SourcePDFScholar
2023

Game Implementation: What Are the Obstructions?

AAAI 2023technical

In many applications, we want to influence the decisions of independent agents by designing incentives for their actions. We revisit a fundamental problem in this area, called GAME IMPLEMENTATION: Given a game in standard form and a set of desired strategies, can we design a set of payment promises…

Cited by 0SourcePDFScholar
2023

The Influence of Dimensions on the Complexity of Computing Decision Trees

AAAI 2023technical

A decision tree recursively splits a feature space \mathbb{R}^d and then assigns class labels based on the resulting partition. Decision trees have been part of the basic machine-learning toolkit for decades. A large body of work considers heuristic algorithms that compute a decision tree from train…

Cited by 9SourcePDFScholar