SAT-based decision tree learning for large data sets

A Schidler, S Szeider - Journal of Artificial Intelligence Research, 2024 - jair.org
Decision trees of low depth are beneficial for understanding and interpreting the data they
represent. Unfortunately, finding a decision tree of lowest complexity (depth or size) that …

A SAT approach to twin-width

A Schidler, S Szeider - 2022 Proceedings of the Symposium on Algorithm …, 2022 - SIAM
The graph invariant twin-width was recently introduced by Bonnet, Kim, Thomassé, and
Watrigan. Problems expressible in first-order logic, which includes many prominent NP-hard …

On structural parameterizations of the bounded-degree vertex deletion problem

R Ganian, F Klute, S Ordyniak - Algorithmica, 2021 - Springer
We study the parameterized complexity of the Bounded-Degree Vertex Deletion problem
(BDD), where the aim is to find a maximum induced subgraph whose maximum degree is …

Turbocharging treewidth-bounded Bayesian network structure learning

VP Ramaswamy, S Szeider - Proceedings of the AAAI Conference on …, 2021 - ojs.aaai.org
We present a new approach for learning the structure of a treewidth-bounded Bayesian
Network (BN). The key to our approach is applying an exact method (based on MaxSAT) …

[HTML][HTML] Computing optimal hypertree decompositions with SAT

A Schidler, S Szeider - Artificial Intelligence, 2023 - Elsevier
Hypertree width is a prominent hypergraph invariant with many algorithmic applications in
constraint satisfaction and databases. We propose two novel characterisations for hypertree …

SAT-boosted tabu search for coloring massive graphs

A Schidler, S Szeider - ACM Journal of Experimental Algorithmics, 2023 - dl.acm.org
Graph coloring is the problem of coloring the vertices of a graph with as few colors as
possible, avoiding monochromatic edges. It is one of the most fundamental NP-hard …

Quantum graph-state synthesis with SAT

S Brand, T Coopmans, A Laarman - arxiv preprint arxiv:2309.03593, 2023 - arxiv.org
In quantum computing and quantum information processing, graph states are a specific type
of quantum states which are commonly used in quantum networking and quantum error …

Algorithmic applications of tree-cut width

R Ganian, EJ Kim, S Szeider - SIAM Journal on Discrete Mathematics, 2022 - SIAM
The recently introduced graph parameter tree-cut width plays a similar role with respect to
immersions as the graph parameter treewidth plays with respect to minors. In this paper, we …

Computing optimal hypertree decompositions

A Schidler, S Szeider - 2020 Proceedings of the Twenty-Second Workshop on …, 2020 - SIAM
We propose a new algorithmic method for computing the hypertree width of hypergraphs,
and we evaluate its performance empirically. At the core of our approach lies a novel …

The PACE 2020 parameterized algorithms and computational experiments challenge: Treedepth

Ł Kowalik, M Mucha, W Nadara… - 15th International …, 2020 - drops.dagstuhl.de
Abstract This year's Parameterized Algorithms and Computational Experiments challenge
(PACE 2020) was devoted to the problem of computing the treedepth of a given graph …