4

F2Stories: A Modular Framework for Multi-Objective Optimization of Storylines with a Focus on Fairness
2025, Technical report AC-TR-25-001, Algorithms and Complexity Group, TU Wien.
PDF Cite
Improved Circuit Minimization with Exact Synthesis
2024, Technical report AC-TR-24-001, Algorithms and Complexity Group, TU Wien.
PDF Cite
A General Cooperative Optimization Approach for Distributing Service Points in Mobility Applications
2021, Technical report AC-TR-21-006, Algorithms and Complexity Group, TU Wien.
PDF Cite
Backdoor DNFs
2021, Technical report AC-TR-21-001, Algorithms and Complexity Group, TU Wien.
PDF Cite
Certified DQBF Solving by Definition Extraction
2021, Technical report AC-TR-21-010, Algorithms and Complexity Group, TU Wien.
PDF Cite
Davis and Putnam Meet Henkin: Solving DQBF with Resolution
2021, Technical report AC-TR-21-012, Algorithms and Complexity Group, TU Wien.
PDF Cite
Fixed-Parameter Tractability
2021, Technical report AC-TR-21-004, Algorithms and Complexity Group, TU Wien.
Note: Chapter 17, Handbook of Satisfiability, 2nd Edition, 2021
PDF Cite
Hardness and Optimality in QBF Proof Systems Modulo NP
2021, Technical report AC-TR-21-013, Algorithms and Complexity Group, TU Wien.
PDF Cite
Parameterized Complexity of Small Decision Tree Learning
2021, Technical report AC-TR-21-002, Algorithms and Complexity Group, TU Wien.
PDF Cite
Proof Complexity of Symbolic QBF Reasoning
2021, Technical report AC-TR-21-011, Algorithms and Complexity Group, TU Wien.
PDF Cite