Using an Algorithm Portfolio to Solve Sokoban. - Nils Christian Froleyks; Tomás Balyo (SOCS, 2017)

PASAR - Planning as Satisfiability with Abstraction Refinement. - Nils Christian Froleyks; Tomás Balyo; Dominik Schreiber 001 (SOCS, 2019)

AI Assisted Design of Sokoban Puzzles Using Automated Planning. - Tomás Balyo; Nils Froleyks (ArtsIT, 2021)

Single Clause Assumption without Activation Literals to Speed-up IC3. - Nils Froleyks; Armin Biere (FMCAD, 2021)

SAT Competition 2020. - Nils Froleyks; Marijn Heule; Markus Iser; Matti Järvisalo; Martin Suda 001 (Artif. Intell., 2021)

Stratified Certification for k-Induction. - Emily Yu; Nils Froleyks; Armin Biere; Keijo Heljanko (FMCAD, 2022)

BIG Backbones. - Nils Froleyks; Emily Yu; Armin Biere (FMCAD, 2023)

Towards Compositional Hardware Model Checking Certification. - Emily Yu; Nils Froleyks; Armin Biere; Keijo Heljanko (FMCAD, 2023)

The SAT Museum. - Armin Biere; Mathias Fleury; Nils Froleyks; Marijn J. H. Heule (POS@SAT, 2023)

CadiBack: Extracting Backbones with CaDiCaL. - Armin Biere; Nils Froleyks; Wenxi Wang (SAT, 2023)

Sampled and Normalized Satisfiable Instances from the main track of the SAT Competition 2004 to 2022. - Armin Biere; Nils Froleyks; Wenxi Wang (Zenodo, 2023)

The SAT Museum POS'23 Artifact. - Armin Biere; Mathias Fleury; Nils Froleyks; Marijn Heule (Zenodo, 2023)

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

Clausal Equivalence Sweeping. - Armin Biere; Katalin Fazekas; Mathias Fleury; Nils Froleyks (FMCAD, 2024)

Hardware Model Checking Competition 2024. - Armin Biere; Nils Froleyks; Mathias Preiner (FMCAD, 2024)

Certifying Phase Abstraction. - Nils Froleyks; Emily Yu; Armin Biere; Keijo Heljanko (IJCAR (1), 2024)

Clausal Congruence Closure. - Armin Biere; Katalin Fazekas; Mathias Fleury; Nils Froleyks (SAT, 2024)

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

CNF Encoded Isomorphic and Optimized Miters from Hardware Model Checking Competition 2020 Models. - Armin Biere; Katalin Fazekas; Mathias Fleury; Nils Froleyks (Zenodo, 2024)

Clausal Equivalence Sweeping Paper Logs. - Armin Biere; Katalin Fazekas; Mathias Fleury; Nils Froleyks (Zenodo, 2024)

HWMCC'24 Benchmarks and Results. - Mathias Preiner; Nils Froleyks; Armin Biere (Zenodo, 2024)

HWMCC'24 Benchmarks and Results. - Mathias Preiner; Nils Froleyks; Armin Biere (Zenodo, 2024)

HWMCC'24 Benchmarks and Results. - Mathias Preiner; Nils Froleyks; Armin Biere (Zenodo, 2024)

Introducing Certificates to the Hardware Model Checking Competition. - Nils Froleyks; Emily Yu; Mathias Preiner; Armin Biere; Keijo Heljanko (CAV (1), 2025)

HWMCC'24 Benchmarks and Results. - Mathias Preiner; 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)

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