| SAT competition 2020 N Froleyks, M Heule, M Iser, M Järvisalo, M Suda Artificial Intelligence 301, 103572, 2021 | 62 | 2021 |
| Hardware model checking competition 2020 M Preiner, A Biere, N Froleyks | 9 | 2020 |
| 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 |
| Using an algorithm portfolio to solve Sokoban N Froleyks, T Balyo Proceedings of the International Symposium on Combinatorial Search 8 (1 …, 2017 | 7 | 2017 |
| SAT competitions M Heule, M Jarvisalo, M Suda, M Iser, T Balyo, N Froleyks URL: https://satcompetition. github. io/[cited 22.02. 2022], 2017 | 7 | 2017 |
| Hardware model checking competition (HWMCC) 2020 A Biere, N Froleyks, M Preiner | 7 | |
| Cadiback: Extracting backbones with cadical A Biere, N Froleyks, W Wang 26th International Conference on Theory and Applications of Satisfiability …, 2023 | 6 | 2023 |
| 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 | 5 | 2021 |
| Stratified Certification for k-Induction. E Yu, N Froleyks, A Biere, K Heljanko FMCAD, 59-64, 2022 | 4 | 2022 |
| Towards compositional hardware model checking certification E Yu, N Froleyks, A Biere, K Heljanko 2023 Formal Methods in Computer-Aided Design (FMCAD), 1-11, 2023 | 3 | 2023 |
| SAT COMPETITION 2020 T Balyo, N Froleyks, MJH Heule, M Iser, M Järvisalo, M Suda Accessed, 2021 | 3 | 2021 |
| The results of SAT competition 2021 T Balyo, N Froleyks, MJ Heule, M Iser, M Järvisalo, M Suda Sat 2021, 2021 | 2 | 2021 |
| The SAT Museum A Biere, M Fleury, N Froleyks, MJ Heule Proceedings of the 14th International Workshop on Pragmatics of SAT (PoS’23 …, 2023 | 1 | 2023 |
| Stratified certification for k-induction A Biere, E Yu, N Froleyks PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED …, 2022 | 1 | 2022 |
| Ai assisted design of sokoban puzzles using automated planning T Balyo, N Froleyks International Conference on ArtsIT, Interactivity and Game Creation, 424-441, 2021 | 1 | 2021 |
| PASAR Entering the Sparkle Planning Challenge 2019 N Froleyks, T Balyo, D Schreiber | 1 | 2019 |
| BIG Backbones N Froleyks, E Yu, A Biere 2023 Formal Methods in Computer-Aided Design (FMCAD), 162-167, 2023 | | 2023 |
| ReconfAIGERation entering Core Challenge 2022 N Froleyks, E Yu, A Biere | | 2022 |
| Unique Reconfiguration Sequence N Froleyks, E Yu, A Biere SAT COMPETITION 2022, 64, 0 | | |
| Hardware Model Checking Certificates E Yu, N Froleyks, A Biere, M Fleury SAT COMPETITION 2022, 56, 0 | | |
