research
∙
11/11/2022
A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets
We propose a new approach to the Directed Feedback Vertex Set Problem (D...
share
research
∙
10/13/2022
Threshold Treewidth and Hypertree Width
Treewidth and hypertree width have proven to be highly successful struct...
research
∙
06/03/2022
Weighted Model Counting with Twin-Width
Bonnet et al. (FOCS 2020) introduced the graph invariant twin-width and ...
research
∙
10/12/2021
A SAT Approach to Twin-Width
The graph invariant twin-width was recently introduced by Bonnet, Kim, T...
research
∙
11/09/2020
Solving the Steiner Tree Problem with few Terminals
The Steiner tree problem is a well-known problem in network design, rout...
research
∙
04/29/2020