| SAT competition 2020 N Froleyks, M Heule, M Iser, M Järvisalo, M Suda Artificial Intelligence 301, 103572, 2021 | 89 | 2021 |
| Hardware Model Checking Competition 2024 A Biere, N Froleyks, M Preiner # PLACEHOLDER_PARENT_METADATA_VALUE#, 7-7, 2024 | 69 | 2024 |
| 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 | 22 | 2020 |
| CaDiCaL 2.0 A Biere, T Faller, K Fazekas, M Fleury, N Froleyks, F Pollitt International Conference on Computer Aided Verification, 133-152, 2024 | 14 | 2024 |
| Cadiback: Extracting backbones with cadical A Biere, N Froleyks, W Wang 26th International Conference on Theory and Applications of Satisfiability …, 2023 | 12 | 2023 |
| Hardware model checking competition (HWMCC) 2020 A Biere, N Froleyks, M Preiner | 11 | |
| Hardware model checking competition 2020 M Preiner, A Biere, N Froleyks | 10 | 2020 |
| 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 | 9 | 2023 |
| Using an algorithm portfolio to solve Sokoban N Froleyks, T Balyo Proceedings of the International Symposium on Combinatorial Search 8 (1 …, 2017 | 9 | 2017 |
| 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 | 8 | 2019 |
| 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 | 7 | 2022 |
| 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 | 7 | 2021 |
| The SAT Museum. A Biere, M Fleury, N Froleyks, MJH Heule POS@ SAT, 72-87, 2023 | 6 | 2023 |
| 11th Hardware Model Checking Competition (HWMCC 2020) A Biere, N Froleyks, M Preiner | 6 | |
| Hardware Model Checking Competition (HWMCC) A Biere, N Froleyks, M Preiner | 5 | 2020 |
| Clausal congruence closure A Biere, K Fazekas, M Fleury, N Froleyks 27th International Conference on Theory and Applications of Satisfiability …, 2024 | 3 | 2024 |
| SAT COMPETITION 2022 T Balyo, N Froleyks, MJH Heule, M Iser, M Järvisalo, M Suda Accessed, 2021 | 3 | 2021 |
| The results of SAT competition 2022 T Balyo, MJH Heule, M Iser, M Järvisalo, M Suda Sat 2020, 2020 | 3 | 2020 |
| Certifying phase abstraction N Froleyks, E Yu, A Biere, K Heljanko International Joint Conference on Automated Reasoning, 284-303, 2024 | 2 | 2024 |
| Clausal equivalence sweeping A Biere, K Fazekas, M Fleury, N Froleyks # PLACEHOLDER_PARENT_METADATA_VALUE#, 236-241, 2024 | 2 | 2024 |
