| CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling entering the SAT Competition 2020 A Biere, K Fazekas, M Fleury, H Maximilian SAT COMPETITION 2020, 50, 2020 | 394 | 2020 |
| Incremental inprocessing in SAT solving K Fazekas, A Biere, C Scholl Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019 | 53 | 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 | 23 | 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 | 20 | 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 | 9 | 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 |
| Plingeling and Treengeling entering the SAT Competition 2020 A Biere, K Fazekas, M Fleury, MC Heisinger, P Kissat Proceedings of the SAT Competition 2020–Solver and Benchmark Descriptions …, 0 | 5 | |
| Certifying Incremental SAT Solving K Fazekas, F Pollitt, M Fleury, A Biere Proceedings of 25th Conference on Logic for Pro 100, 321-340, 2024 | 3 | 2024 |
| Clausal congruence closure A Biere, K Fazekas, M Fleury, N Froleyks 27th International Conference on Theory and Applications of Satisfiability …, 2024 | 3 | 2024 |
| On Incremental Pre-processing for SMT N Bjørner, K Fazekas International Conference on Automated Deduction, 41-60, 2023 | 3 | 2023 |
| 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 | 3 | 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 | 2 | 2024 |
| Incremental Proofs for Bounded Model Checking K Fazekas, F Pollitt, M Fleury, A Biere 27th GMM/ITG/GI Workshop on Methods and Description Languages for Modelling …, 2024 | 2 | 2024 |
| Clausal equivalence sweeping A Biere, K Fazekas, M Fleury, N Froleyks # PLACEHOLDER_PARENT_METADATA_VALUE#, 236-241, 2024 | 2 | 2024 |
| 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 | 2 | 2021 |
| SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols. K Fazekas, A Goel, KA Sakallah FMCAD, 152-161, 2023 | | 2023 |
| 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023) M Anders, P Schweitzer, M Soos, O Beyersdorff, T Hoffmann, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023 | | 2023 |
| EUF-Proofs for SMT4J/submitted by: Katalin Fazekas K Fazekas | | 2015 |
| Hardware Equivalence Checking Problems Submitted to the SAT Competition 2024 A Biere, T Faller, K Fazekas, M Fleury, N Froleyks, F Pollitt SAT COMPETITION 2024, 33, 0 | | |
| CaDiCaL, Gimsatul, IsaSAT and Kissat Entering the SAT Competition 2024 A Biere, T Faller, K Fazekas, M Fleury, N Froleyks, F Pollitt SAT COMPETITION 2024, 8, 0 | | |
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
