PACE solver description: hydra prime

DOI10.4230/LIPICS.IPEC.2023.36MaRDI QIDQ6926171zbMATH OpenFDO

Authors Yosuke Mizutani, David Dursteler, Blair D. Sullivan

Publication date 24 September 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.IPEC.2023.36

zbMATH Keywords

PACE 2023twin-width

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Parameterized complexity, tractability and kernelization (68Q27) Algorithms in computer science (68Wxx)

Cites work

• A SAT approach to twin-width
• A survey of the algorithmic aspects of modular decomposition
• scientific article; zbMATH DE number 6737879 (Why is no real title available?)
• Twin-width. I: Tractable FO model checking

Cited in

(2)

• Computing and certifying twin-width using logic
• On the twin-width of near-regular graphs

This page was built for publication: PACE solver description: hydra prime

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