Making Translations to Classical Planning Competitive with Other HTN Planners. - Gregor Behnke; Florian Pollitt; Daniel Höller; Pascal Bercher; Ron Alford (AAAI, 2022)

Faster LRAT Checking Than Solving with CaDiCaL. - Florian Pollitt; Mathias Fleury; Armin Biere (SAT, 2023)

CaDiCaL 2.0. - Armin Biere; Tobias Faller; Katalin Fazekas; Mathias Fleury; Nils Froleyks; Florian Pollitt (CAV (1), 2024)

Certifying Incremental SAT Solving. - Katalin Fazekas; Florian Pollitt; Mathias Fleury; Armin Biere (LPAR, 2024)

CaDiCaL 2.0 CAV'24 Tool-Paper Artifact. - Armin Biere; Tobias Faller; Katalin Fazekas; Mathias Fleury; Nils Froleyks; Florian Pollitt (Zenodo, 2024)

Learn to Unlearn. - Bernhard Gstrein; Florian Pollitt; André Schidler; Mathias Fleury; Armin Biere (SAT, 2025)

CaDiCaL 2.2 System Description Artifact. - Florian Pollitt; Mathias Fleury; Katalin Fazekas; Nils Froleyks; Armin Biere (Zenodo, 2025)

CaDiCaL 2.2 System Description Artifact. - Florian Pollitt; Mathias Fleury; Katalin Fazekas; Nils Froleyks; Armin Biere (Zenodo, 2025)

CaDiCaL 2.2 System Description Artifact. - Florian Pollitt; Mathias Fleury; Katalin Fazekas; Nils Froleyks; Armin Biere (Zenodo, 2025)