| Complexity of fixed-size bit-vector logics G Kovásznai, A Fröhlich, A Biere Theory of Computing Systems 59 (2), 323-376, 2016 | 53 | 2016 |
| iDQ: Instantiation-Based DQBF Solving A Fröhlich, G Kovásznai, A Biere, H Veith Pragmatics of SAT 2014, 2014 | 52 | 2014 |
| On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width G Kovásznai, A Fröhlich, A Biere SMT 2012, aff. to IJCAR 2012, 44-55, 2012 | 46 | 2012 |
| A DPLL algorithm for solving DQBF A Fröhlich, G Kovásznai, A Biere Pragmatics of SAT 2012, 2012 | 44 | 2012 |
| Developing an expert system for diet recommendation G Kovasznai 2011 6th IEEE International Symposium on Applied Computational Intelligence …, 2011 | 44 | 2011 |
| More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding A Fröhlich, G Kovásznai, A Biere Computer Science – Theory and Applications; Lecture Notes in Computer …, 2013 | 20 | 2013 |
| Efficiently solving bit-vector problems using model checkers A Fröhlich, G Kovásznai, A Biere Proceedings of the SMT 13, 2013 | 14 | 2013 |
| On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic G Kovásznai, H Veith, A Fröhlich, A Biere Mathematical Foundations of Computer Science 2014; Lecture Notes in Computer …, 2014 | 12 | 2014 |
| Investigations of graph properties in terms of wireless sensor network optimization G Kovásznai, B Erdélyi, C Biró 2018 IEEE International Conference on Future IoT Technologies (Future IoT), 1-8, 2018 | 11 | 2018 |
| An Adaptive Routing Framework for Efficient Power Consumption in Software-Defined Datacenter Networks M Nsaif, G Kovásznai, A Rácz, A Malik, R de Fréin Electronics 10 (23), 3027, 2021 | 10 | 2021 |
| ML-Based Online Traffic Classification for SDNs M Nsaif, G Kovásznai, M Abboosh, A Malik, R de Fréin 2022 IEEE 2nd Conference on Information Technology and Data Science (CITDS …, 2022 | 9 | 2022 |
| Puli–A Problem-Specific OMT solver G Kovásznai, C Biró, B Erdélyi Proc. 16th International Workshop on Satisfiability Modulo Theories (SMT 2018), 2018 | 9 | 2018 |
| Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers G Kovásznai, C Biró, B Erdélyi 15th International Workshop on Satisfiability Modulo Theories affiliated …, 2017 | 9 | 2017 |
| What is the State-of-the-Art in DQBF solving? G Kovásznai MaCS-16. Joint Conference on Mathematics and Computer Science, 2016 | 9 | 2016 |
| BV2EPR: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into EPR G Kovásznai, A Fröhlich, A Biere Automated Deduction - CADE-24; Lecture Notes in Artificial Intelligence 7898 …, 2013 | 9 | 2013 |
| Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization G Kovásznai, K Gajdár, L Kovács Proceedings of the 21st International Symposium on Symbolic and Numeric …, 2019 | 5 | 2019 |
| HyperS Tableaux - Heuristic Hyper Tableaux. G Kovásznai Acta Cybernetica 17 (2), 325-338, 2005 | 5 | 2005 |
| Portfolio solver for verifying Binarized Neural Networks G Kovásznai, K Gajdár, N Narodytska Annales Mathematicae et Informaticae (53.): Selected papers of the 1st …, 2021 | 4 | 2021 |
| Cube-and-Conquer Approach for SAT Solving on Grids C Biró, G Kovásznai, A Biere, G Kusper, G Geda Annales Mathematicae et Informaticae 42, 9-21, 2013 | 4 | 2013 |
| Quantifier-free bit-vector formulas with binary encoding: Benchmark description G Kovásznai, A Fröhlich, A Biere SAT COMPETITION 2013, 107, 2013 | 4 | 2013 |
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
