| CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling entering the SAT Competition 2020 A Biere, K Fazekas, M Fleury, H Maximilian SAT COMPETITION 2020, 50, 2020 | 325 | 2020 |
| Incremental inprocessing in SAT solving K Fazekas, A Biere, C Scholl Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019 | 46 | 2019 |
| Implicit hitting set algorithms for maximum satisfiability modulo theories K Fazekas, F Bacchus, A Biere Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018 | 18 | 2018 |
| IPASIR-UP: user propagators for CDCL K Fazekas, A Niemetz, M Preiner, M Kirchweger, S Szeider, A Biere 26th International Conference on Theory and Applications of Satisfiability …, 2023 | 8 | 2023 |
| Skolem function continuation for quantified Boolean formulas K Fazekas, MJH Heule, M Seidl, A Biere International Conference on Tests and Proofs, 129-138, 2017 | 8 | 2017 |
| A duality-aware calculus for quantified Boolean formulas K Fazekas, M Seidl, A Biere 2016 18th International Symposium on Symbolic and Numeric Algorithms for …, 2016 | 5 | 2016 |
| Model checking AUTOSAR components with CBMC T Durand, K Fazekas, G Weissenbacher, J Zwirchmayr 2021 Formal Methods in Computer Aided Design (FMCAD), 96-101, 2021 | 4 | 2021 |
| Duplex encoding of staircase at-most-one constraints for the antibandwidth problem K Fazekas, M Sinnl, A Biere, S Parragh International Conference on Integration of Constraint Programming …, 2020 | 2 | 2020 |
| Incremental Proofs for Bounded Model Checking K Fazekas, F Pollitt, M Fleury, A Biere | | 2024 |
| SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols K Fazekas, A Goel, KA Sakallah CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2023, 152, 2023 | | 2023 |
| On Incremental Pre-processing for SMT N Bjørner, K Fazekas International Conference on Automated Deduction, 41-60, 2023 | | 2023 |
| EUF-Proofs for SMT4J/submitted by: Katalin Fazekas K Fazekas | | 2015 |
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
