Follow
Nils Froleyks
Title
Cited by
Cited by
Year
SAT competition 2020
N Froleyks, M Heule, M Iser, M Järvisalo, M Suda
Artificial Intelligence 301, 103572, 2021
832021
Hardware Model Checking Competition 2024
A Biere, N Froleyks, M Preiner
# PLACEHOLDER_PARENT_METADATA_VALUE#, 7-7, 2024
692024
Proceedings of sat competition 2020: Solver and benchmark descriptions
T Balyo, N Froleyks, MJH Heule, M Iser, M Järvisalo, M Suda
Department of Computer Science, University of Helsinki, 2020
222020
Cadiback: Extracting backbones with cadical
A Biere, N Froleyks, W Wang
26th International Conference on Theory and Applications of Satisfiability …, 2023
112023
Hardware model checking competition (HWMCC) 2020
A Biere, N Froleyks, M Preiner
11
Hardware model checking competition 2020
M Preiner, A Biere, N Froleyks
102020
Using an algorithm portfolio to solve Sokoban
N Froleyks, T Balyo
Proceedings of the International Symposium on Combinatorial Search 8 (1 …, 2017
92017
PASAR—Planning as Satisfiability with Abstraction Refinement
N Froleyks, T Balyo, D Schreiber
Proceedings of the International Symposium on Combinatorial Search 10 (1), 70-78, 2019
82019
Towards compositional hardware model checking certification
E Yu, N Froleyks, A Biere, K Heljanko
CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2023, 44, 2023
72023
Stratified certification for k-induction
E Yu, N Froleyks, A Biere, K Heljanko
The 22nd Conference on Formal Methods in Computer-Aided Design–FMCAD 2022, 11, 2022
62022
Single clause assumption without activation literals to speed-up IC3
N Froleyks, A Biere
2021 Formal Methods in Computer Aided Design (FMCAD), 72-76, 2021
62021
11th Hardware Model Checking Competition (HWMCC 2020)
A Biere, N Froleyks, M Preiner
6
The SAT Museum.
A Biere, M Fleury, N Froleyks, MJH Heule
POS@ SAT, 72-87, 2023
52023
Hardware Model Checking Competition (HWMCC)
A Biere, N Froleyks, M Preiner
52020
CaDiCaL 2.0
A Biere, T Faller, K Fazekas, M Fleury, N Froleyks, F Pollitt
International Conference on Computer Aided Verification, 133-152, 2024
42024
Clausal congruence closure
A Biere, K Fazekas, M Fleury, N Froleyks
27th International Conference on Theory and Applications of Satisfiability …, 2024
32024
SAT COMPETITION 2022
T Balyo, N Froleyks, MJH Heule, M Iser, M Järvisalo, M Suda
Accessed, 2021
32021
The results of SAT competition 2022
T Balyo, MJH Heule, M Iser, M Järvisalo, M Suda
Sat 2020, 2020
32020
Clausal equivalence sweeping
A Biere, K Fazekas, M Fleury, N Froleyks
# PLACEHOLDER_PARENT_METADATA_VALUE#, 236-241, 2024
22024
Stratified certification for k-induction
A Biere, E Yu, N Froleyks
PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED …, 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–20