4

SAT-based Decision Tree Learning for Large Data Sets
2021, Technical report AC-TR-21-003, Algorithms and Complexity Group, TU Wien.
PDF bib
Smart Charging of Electric Vehicles Considering SOC-Dependent Maximum Charging Powers
2021, Technical report AC-TR-21-014, Algorithms and Complexity Group, TU Wien.
PDF bib
Solving the Generalized Constrained Longest Common Subsequence Problem with Many Pattern Strings
2021, Technical report AC-TR-21-008, Algorithms and Complexity Group, TU Wien.
PDF bib
Solving the Longest Common Subsequence Problem Concerning Non-uniform Distributions of Letters in Input Strings
2021, Technical report AC-TR-21-009, Algorithms and Complexity Group, TU Wien.
PDF bib
The Parameterized Complexity of Clustering Incomplete Data
2021, Technical report AC-TR-21-007, Algorithms and Complexity Group, TU Wien.
PDF bib
Two new Mixed-Integer Linear Programming Models for Solving the Multidimensional Multi-Way Number Partitioning Problem
2021, Technical report AC-TR-21-005, Algorithms and Complexity Group, TU Wien.
PDF bib
A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth
2020, Technical report AC-TR-20-006, Algorithms and Complexity Group, TU Wien.
PDF bib
An A* Search Algorithm for the Constrained Longest Common Subsequence Problem
2020, Technical report AC-TR-20-004, Algorithms and Complexity Group, TU Wien.
PDF bib
Breaking Symmetries with RootClique and LexTopsort
2020, Technical report AC-TR-20-010, Algorithms and Complexity Group, TU Wien.
PDF bib
Computing Optimal Hypertree Decompositions
2020, Technical report AC-TR-20-001, Algorithms and Complexity Group, TU Wien.
PDF bib