← Search

Christian Komusiewicz

7 accepted papers

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

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

Parameterized Local Search for Max c-Cut

IJCAI 2023poster

In the NP-hard Max c-Cut problem, one is given an undirected edge-weighted graph G and wants to color the vertices of G with c colors such that the total weight of edges with distinctly colored endpoints is maximal. The case with c=2 is the famous Max Cut problem. To deal with the NP-hardness of thi…

Cited by 3SourcePDFScholar
2021

Efficient Bayesian Network Structure Learning via Parameterized Local Search on Topological Orderings

AAAI 2021technical

In Bayesian Network Structure Learning (BNSL), we are given a variable set and parent scores for each variable and aim to compute a DAG, called Bayesian network, that maximizes the sum of parent scores, possibly under some structural constraints. Even very restricted special cases of BNSL are comput…

Cited by 10SourcePDFScholar
2020

Learning Bayesian Networks Under Sparsity Constraints: A Parameterized Complexity Analysis

IJCAI 2020poster

We study the problem of learning the structure of an optimal Bayesian network when additional structural constraints are posed on the network or on its moralized graph. More precisely, we consider the constraint that the moralized graph can be transformed to a graph from a sparse graph class Π by at…

Cited by 0SourcePDFScholar