Nils Froleyks

17 papers A 2B 7C 1Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2025 B conf
Hardware Model Checking Competition 2025.
FMCAD
Armin Biere, Nils Froleyks, Mathias Preiner
2025 — conf
Introducing Certificates to the Hardware Model Checking Competition.
CAV (1)
Nils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, Keijo Heljanko
2024 — conf
CaDiCaL 2.0.
CAV (1)
Armin Biere, Tobias Faller, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt
2024 — conf
Certifying Phase Abstraction.
IJCAR (1)
Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko
2024 J jnl
Certifying Phase Abstraction.
CoRR
Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko
2024 A conf
Clausal Congruence Closure.
SAT
Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks
2024 B conf
Clausal Equivalence Sweeping.
FMCAD
Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks
2024 B conf
Hardware Model Checking Competition 2024.
FMCAD
Armin Biere, Nils Froleyks, Mathias Preiner
2023 B conf
BIG Backbones.
FMCAD
Nils Froleyks, Emily Yu, Armin Biere
2023 A conf
CadiBack: Extracting Backbones with CaDiCaL.
SAT
Armin Biere, Nils Froleyks, Wenxi Wang
2023 — conf
The SAT Museum.
POS@SAT
Armin Biere, Mathias Fleury, Nils Froleyks, Marijn J. H. Heule
2023 B conf
Towards Compositional Hardware Model Checking Certification.
FMCAD
Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko
2022 B conf
Stratified Certification for k-Induction.
FMCAD
Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko
2022 J jnl
Stratified Certification for k-Induction.
CoRR
Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko
2021 C conf
AI Assisted Design of Sokoban Puzzles Using Automated Planning.
ArtsIT
Tomás Balyo, Nils Froleyks
2021 J jnl
SAT Competition 2020.
Artif. Intell.
Nils Froleyks, Marijn Heule, Ashlin Iser, Matti Järvisalo, Martin Suda
2021 B conf
Single Clause Assumption without Activation Literals to Speed-up IC3.
FMCAD
Nils Froleyks, Armin Biere