Nils Froleyks
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
6
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Liveness Proofs for Hardware Model Checking. | Nils Froleyks, Emily Yu, Bart Bogaerts, Armin Biere, Keijo Heljanko |
| 2026 | FM | Certifying Constraints in Hardware Model Checking. | Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko |
| 2026 | IJCAR | Hardware Model Checking Certification with Certifaiger and Cerbtora. | Nils Froleyks, Emily Yu |
| 2026 | SAT | CaDiCaL 3.0 (Tool Paper). | Florian Pollitt, Mathias Fleury, Katalin Fazekas, Nils Froleyks, Andr Schidler, Dominik Schreiber, Armin Biere |
| 2025 | CAV | Introducing Certificates to the Hardware Model Checking Competition. | Nils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, Keijo Heljanko |
| 2025 | FMCAD | Hardware Model Checking Competition 2025. | Armin Biere, Nils Froleyks, Mathias Preiner |
| 2024 | CAV | CaDiCaL 2.0. | Armin Biere, Tobias Faller, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt |
| 2024 | FMCAD | Clausal Equivalence Sweeping. | Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks |
| 2024 | FMCAD | Hardware Model Checking Competition 2024. | Armin Biere, Nils Froleyks, Mathias Preiner |
| 2024 | IJCAR | Certifying Phase Abstraction. | Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko |
| 2024 | SAT | Clausal Congruence Closure. | Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks |
| 2023 | FMCAD | BIG Backbones. | Nils Froleyks, Emily Yu, Armin Biere |
| 2023 | FMCAD | Towards Compositional Hardware Model Checking Certification. | Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko |
| 2023 | SAT | The SAT Museum. | Armin Biere, Mathias Fleury, Nils Froleyks, Marijn J. H. Heule |
| 2023 | SAT | CadiBack: Extracting Backbones with CaDiCaL. | Armin Biere, Nils Froleyks, Wenxi Wang |
| 2022 | FMCAD | Stratified Certification for k-Induction. | Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko |
| 2021 | ArtsIT | AI Assisted Design of Sokoban Puzzles Using Automated Planning. | Toms Balyo, Nils Froleyks |
| 2021 | FMCAD | Single Clause Assumption without Activation Literals to Speed-up IC3. | Nils Froleyks, Armin Biere |