10 citations · 23 across the 11 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.DS2022
A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets
Rafael Kiesel, André Schidler
We propose a new approach to the Directed Feedback Vertex Set Problem (DFVSP), where the input is a directed graph and the solution is a minimum set of vertices whose removal makes…
cs.AI2022★ 10 cited
Efficient Knowledge Compilation Beyond Weighted Model Counting
Rafael Kiesel, Pietro Totis, Angelika Kimmig
Quantitative extensions of logic programming often require the solution of so called second level inference tasks, i.e., problems that involve a third operation, such as maximizati…