Nils Christian Froleyks

According to our database, Nils Christian Froleyks authored at least 18 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Clausal Equivalence Sweeping Paper Logs.

Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks

Dataset, May, 2024

CNF Encoded Isomorphic and Optimized Miters from Hardware Model Checking Competition 2020 Models.

Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks

Dataset, May, 2024

CaDiCaL 2.0 CAV'24 Tool-Paper Artifact.

Armin Biere, Tobias Faller, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt

Dataset, April, 2024

Clausal Congruence Closure.

Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

Certifying Phase Abstraction.

Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

CaDiCaL 2.0.

Armin Biere, Tobias Faller, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

The SAT Museum POS'23 Artifact.

Armin Biere, Mathias Fleury, Nils Froleyks, Marijn Heule

Dataset, October, 2023

Sampled and Normalized Satisfiable Instances from the main track of the SAT Competition 2004 to 2022.

Armin Biere, Nils Froleyks, Wenxi Wang

Dataset, March, 2023

CadiBack: Extracting Backbones with CaDiCaL.

Armin Biere, Nils Froleyks, Wenxi Wang

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

The SAT Museum.

Armin Biere, Mathias Fleury, Nils Froleyks, Marijn J. H. Heule

Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), 2023

Towards Compositional Hardware Model Checking Certification.

Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko

Proceedings of the Formal Methods in Computer-Aided Design, 2023

BIG Backbones.

Nils Froleyks, Emily Yu, Armin Biere

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Stratified Certification for k-Induction.

Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

SAT Competition 2020.

Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda

Artif. Intell., 2021

Single Clause Assumption without Activation Literals to Speed-up IC3.

Nils Froleyks, Armin Biere

Proceedings of the Formal Methods in Computer Aided Design, 2021

AI Assisted Design of Sokoban Puzzles Using Automated Planning.

Tomás Balyo, Nils Froleyks

Proceedings of the ArtsIT, Interactivity and Game Creation, 2021

2019

PASAR - Planning as Satisfiability with Abstraction Refinement.

Nils Christian Froleyks, Tomás Balyo, Dominik Schreiber

Proceedings of the Twelfth International Symposium on Combinatorial Search, 2019

2017

Using an Algorithm Portfolio to Solve Sokoban.

Nils Christian Froleyks, Tomás Balyo

Proceedings of the Tenth International Symposium on Combinatorial Search, 2017