Nils Christian Froleyks

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

Collaborative distances:

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

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