Research‎ > ‎

Publications

G. Kovásznai. How Hard is Bit-Precise Reasoning? (abstract)
Plenary talk at the 10th International Conference on Applied Informatics (ICAI 2017), Eger, Hungary, 2017.
G. Kovásznai, A. Fröhlich, A. Biere. Complexity of Fixed-Size Bit-Vector Logics.
Theory of Computing Systems, Springer, Vol. 59 (2), pp. 323-376, 2016.

G. Kovásznai. A Survey on DQBF: Formulas, Applications, Solving Approaches. (extended abstract)
Proceedings of the 2nd International Workshop on Quantification (Quantify 2015), pp. 7-9, Berlin, Germany, 2015.
G. Kovásznai, H. Veith, A. Fröhlich, A. Biere. On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic.
Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science (MFCS 2014), Lecture Notes in Computer Science (LNCS), Springer, Vol. 8635, pp. 481-492, Budapest, Hungary, 2014.
G. Kovásznai, A. Fröhlich, A. Biere. EPR Encodings of Bit-Vector Problems Even With Quantifiers.
Invited talk at the 1st International Workshop on Quantification (QUANTIFY 2014), Vienna, Austria, 2014.
A. Fröhlich, G. Kovásznai, A. Biere, H. Veith. iDQ: Instantiation-Based DQBF Solving.
Proceedings of the 5th International Workshop on Pragmatics of SAT (POS 2014), aff. to SAT 2014, EPiC Series, EasyChair, Vol. 27, pp. 103-116, Vienna, Austria, 2014.
G. Kovásznai, H. Veith, A. Fröhlich, A. Biere. On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic.
Unpublished contribution to the 15th International Workshop on Logic and Computational Complexity and Workshop in Honor of Neil Immerman's 60th Birthday (LCC 2014/ImmermanFest), Vienna, Austria, 2014.
Cs. Biró, G. Kovásznai, A. Biere, G. Kusper, G. Geda. Cube-and-Conquer Approach for SAT Solving on Grids.
Annales Mathematicae et Informaticae, Vol. 42, pp. 9-21, 2013.

A. Fröhlich, G. Kovásznai, A. Biere. Efficiently Solving Bit-Vector Problems Using Model Checkers.
Proceedings of the 11th International Workshop on Satisfiability Modulo Theories (SMT 2013), aff. to SAT 2013, pp. 6-15, Helsinki, Finland, 2013.
G. Kovásznai, A. Fröhlich, A. Biere. Quantifier-Free Bit-Vector Formulas with Binary Encoding: Benchmark Description.
Proceedings of the SAT Competition 2013, Vol. B-2013-1 of Department of Computer Science Series of Publications B, pp. 107-108 , University of Helsinki, Finland, 2013.
G. Kovásznai, A. Fröhlich, A. Biere. BV2EPR: A Tool for Polynomially Translating Quantifier-free Bit-Vector Formulas into EPR.
Proceedings of the 24th International Conference on Automated Deduction (CADE-24), Lecture Notes in Artificial Intelligence (LNAI), Springer, Vol. 7898, pp. 443-449, Lake Placid, NY, USA, 2013.
A. Fröhlich, G. Kovásznai, A. Biere. More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding.
Proceedings of the 8th International Computer Science Symposium in Russia (CSR 2013), Lecture Notes in Computer Science (LNCS), Springer, Vol. 7913, pp. 378-390, Ekaterinburg, Russia, 2013.

G. Kovásznai, A. Fröhlich, A. Biere. Other Target Logics for Bit-Vector Formulas?
Talk on PUMA-RiSE Workshop, Goldegg, Austria, 2012.

G. Kovásznai, A. Fröhlich, A. Biere. On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width.
Proceedings of the 10th International Workshop on Satisfiability Modulo Theories (SMT 2012), aff. to IJCAR 2012, pp. 44-55, Manchester, UK, 2012.
A. Fröhlich, G. Kovásznai, A. Biere. A DPLL Algorithm for Solving DQBF.
Proceedings of the 3rd International Workshop on Pragmatics of SAT (POS 2012), aff. to SAT 2012, Trento, Italy, 2012.

G. Kovásznai. Developing an Expert System for Diet Recommendation.

RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report, 2010.


G. Kusper, G. Kovásznai, W. Schreiner, G. Guta, J. Sztrik. A Small Survey on Java Specification Languages.


RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report, 2009.


Annales Mathematicae et Informaticae, Vol. 35, pp. 75-94, 2008. (MR#2475867 (2010a:68062))



PhD Thesis, 2007.
Acta Cybernetica, Vol. 17(2), pp. 325-338, 2005. (ZBL#1099.68096, MR#2183822)


Proceedings of the 1st International Workshop on Interactive Rich Media Content Production: Architectures, Technologies, Applications, Tools (Richmedia 2003), pp. 161-168, Lausanne, Switzerland, 2003.

G. Kovásznai, C. Kotropoulos, I. Pitas. CAML – A Universal Configuration Language for Dialogue Systems.
Proceedings of the 14th International Conference on Database and Expert Systems Applications (DEXA 2003), Lecture Notes in Computer Science (LNCS), Springer, Vol. 2736, pp. 896 – 906, Prague, Czech Republic, 2003.
Ċ
Gergely Kovásznai,
Dec 5, 2011, 10:13 AM
Ċ
Gergely Kovásznai,
Dec 4, 2011, 2:10 PM
Ċ
Gergely Kovásznai,
Dec 5, 2011, 10:28 AM
Ċ
Gergely Kovásznai,
Dec 5, 2011, 10:28 AM
Ċ
Gergely Kovásznai,
Dec 5, 2011, 10:19 AM
Ċ
Gergely Kovásznai,
Jun 23, 2013, 2:54 AM
Ċ
Gergely Kovásznai,
Feb 7, 2017, 1:04 PM
ć
Gergely Kovásznai,
Jul 28, 2014, 4:51 AM
Ċ
Gergely Kovásznai,
Sep 1, 2014, 4:18 AM
Ċ
Gergely Kovásznai,
Jul 28, 2014, 4:43 AM
Ċ
Gergely Kovásznai,
Jul 29, 2014, 5:24 AM
Ċ
Gergely Kovásznai,
Aug 8, 2015, 2:40 AM
Ċ
Gergely Kovásznai,
Jul 12, 2012, 5:41 AM