4

Finding the Hardest Formulas for Resolution
2020, Technical report AC-TR-20-008, Algorithms and Complexity Group, TU Wien.
PDF bib
Fixed-Parameter Tractability of Dependency QBF with Structural Parameters
2020, Technical report AC-TR-20-011, Algorithms and Complexity Group, TU Wien.
PDF bib
Formalizing Graph Trail Properties in Isabelle/HOL
2020, Technical report AC-TR-20-012, Algorithms and Complexity Group, TU Wien.
PDF bib
MaxSAT-Based Postprocessing for Treedepth
2020, Technical report AC-TR-20-009, Algorithms and Complexity Group, TU Wien.
PDF bib
On the Parameterized Complexity of Clustering
2020, Technical report AC-TR-20-002, Algorithms and Complexity Group, TU Wien.
PDF bib
Short Q-Resolution Proofs with Homomorphisms
2020, Technical report AC-TR-20-007, Algorithms and Complexity Group, TU Wien.
PDF bib
Solving Longest Common Subsequence Problems via a Transformation to the Maximum Clique Problem
2020, Technical report AC-TR-20-003, Algorithms and Complexity Group, TU Wien.
PDF bib
Threshold Treewidth and Hypertree Width
2020, Technical report AC-TR-20-005, Algorithms and Complexity Group, TU Wien.
PDF bib
A Join-Based Hybrid Parameter for Constraint Satisfaction
2019, Technical report AC-TR-19-006, Algorithms and Complexity Group, TU Wien.
PDF bib
A Lower Bound for the Smallest Uniquely Hamiltonian Planar Graph with Minimum Degree Three
2019, Technical report AC-TR-19-007, Algorithms and Complexity Group, TU Wien.
PDF bib