Nils Froleyks

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 13

Top Topics

Inductive Reasoning

Propositional Satisfiability

Top Venues

Publications

Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks
Clausal Congruence Closure. SAT (2024)
Armin Biere, Tobias Faller, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt
CaDiCaL 2.0. CAV (1) (2024)
Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko
Certifying Phase Abstraction. CoRR (2024)
Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko
Certifying Phase Abstraction. IJCAR (1) (2024)
Nils Froleyks, Emily Yu, Armin Biere
BIG Backbones. FMCAD (2023)
Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko
Towards Compositional Hardware Model Checking Certification. FMCAD (2023)
Armin Biere, Nils Froleyks, Wenxi Wang
CadiBack: Extracting Backbones with CaDiCaL. SAT (2023)
Armin Biere, Mathias Fleury, Nils Froleyks, Marijn J. H. Heule
The SAT Museum. POS@SAT (2023)
Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko
Stratified Certification for k-Induction. FMCAD (2022)
Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko
Stratified Certification for k-Induction. CoRR (2022)
Tomás Balyo, Nils Froleyks
AI Assisted Design of Sokoban Puzzles Using Automated Planning. ArtsIT (2021)
Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda
SAT Competition 2020. Artif. Intell. 301 (2021)
Nils Froleyks, Armin Biere
Single Clause Assumption without Activation Literals to Speed-up IC3. FMCAD (2021)