Gergely Kovásznai

According to our database, Gergely Kovásznai authored at least 12 papers between 2003 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization.

Gergely Kovásznai, Krisztián Gajdár, Laura Kovács

Proceedings of the 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2019

2017

Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers.

Gergely Kovásznai, Csaba Biró, Balazs Erdelyi

Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22, 2017

2016

Complexity of Fixed-Size Bit-Vector Logics.

Gergely Kovásznai, Andreas Fröhlich, Armin Biere

Theory Comput. Syst., 2016

2014

iDQ: Instantiation-Based DQBF Solving.

Andreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut Veith

Proceedings of the POS-14. Fifth Pragmatics of SAT workshop, 2014

On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic.

Gergely Kovásznai, Helmut Veith, Andreas Fröhlich, Armin Biere

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

2013

More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding.

Andreas Fröhlich, Gergely Kovásznai, Armin Biere

Proceedings of the Computer Science - Theory and Applications, 2013

: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into.

Gergely Kovásznai, Andreas Fröhlich, Armin Biere

Proceedings of the Automated Deduction - CADE-24, 2013

2012

On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width.

Gergely Kovásznai, Andreas Fröhlich, Armin Biere

Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

2011

Developing an expert system for diet recommendation.

Gergely Kovásznai

Proceedings of the 6th IEEE International Symposium on Applied Computational Intelligence and Informatics, 2011

2009

Metamodels in generation of UML using NLI-based dialog.

László Kovács, Gergely Kovásznai, Gábor Kusper

Proceedings of the 5th International Symposium on Applied Computational Intelligence and Informatics, 2009

2006

HyperS Tableaux - Heuristic Hyper Tableaux.

Gergely Kovásznai

Acta Cybern., 2006

2003

CAML - A Universal Configuration Language for Dialogue Systems.

Gergely Kovásznai, Constantine Kotropoulos, Ioannis Pitas

Proceedings of the Database and Expert Systems Applications, 14th International Conference, 2003