SAT competition 2020 N Froleyks, M Heule, M Iser, M Järvisalo, M Suda Artificial Intelligence 301, 103572, 2021 | 81 | 2021 |

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 |

Cadiback: Extracting backbones with cadical A Biere, N Froleyks, W Wang 26th International Conference on Theory and Applications of Satisfiability …, 2023 | 10 | 2023 |

Hardware model checking competition 2020 M Preiner, A Biere, N Froleyks | 10 | 2020 |

Using an algorithm portfolio to solve Sokoban N Froleyks, T Balyo Proceedings of the International Symposium on Combinatorial Search 8 (1 …, 2017 | 9 | 2017 |

Hardware model checking competition (HWMCC) 2020 A Biere, N Froleyks, M Preiner | 9 | |

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 |

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 | 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 | 6 | 2021 |

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 | 5 | 2023 |

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 | 5 | 2022 |

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 |

The results of SAT competition 2021 T Balyo, N Froleyks, MJ Heule, M Iser, M Järvisalo, M Suda Sat 2021, 2021 | 3 | 2021 |

SAT COMPETITION 2022 T Balyo, N Froleyks, MJH Heule, M Iser, M Järvisalo, M Suda Accessed, 2021 | 3 | 2021 |

CaDiCaL 2.0 A Biere, T Faller, K Fazekas, M Fleury, N Froleyks, F Pollitt International Conference on Computer Aided Verification, 133-152, 2024 | 2 | 2024 |

Clausal equivalence sweeping A Biere, K Fazekas, M Fleury, N Froleyks # PLACEHOLDER_PARENT_METADATA_VALUE#, 236-241, 2024 | 2 | 2024 |

Stratified certification for k-induction A Biere, E Yu, N Froleyks PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED …, 2022 | 2 | 2022 |

BIG Backbones N Froleyks, E Yu, A Biere 2023 Formal Methods in Computer-Aided Design (FMCAD), 162-167, 2023 | 1 | 2023 |