A dynamic MaxSAT-based approach to directed feedback vertex sets

DOI10.1137/1.9781611977561.CH4MaRDI QIDQ6543534zbMATH OpenFDO

Authors Rafael Kiesel, André Schidler

Publication date 24 May 2024

Full work available at URL https://doi.org/10.1137/1.9781611977561.CH4

Mathematics Subject Classification ID

Graph algorithms (graph-theoretic aspects) (05C85) Computational aspects of satisfiability (68R07) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Lossy reduction rules for the directed feedback vertex set problem
• A fixed-parameter algorithm for the directed feedback vertex set problem
• Parameterized algorithms for generalizations of directed feedback vertex set
• Parameterized algorithms for generalizations of directed feedback vertex set
• A spin glass approach to the directed feedback vertex set problem

Cited in

(2)

• Lossy reduction rules for the directed feedback vertex set problem
• PACE solver description: minimum hitting set computation via core-guided MaxSAT solving

This page was built for publication: A dynamic MaxSAT-based approach to directed feedback vertex sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6543534)