Gergely Kovásznai

Orcid: 0000-0001-8455-0218

According to our database1, Gergely Kovásznai authored at least 14 papers between 2003 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
SM-FPLF: Link-State Prediction for Software-Defined DCN Power Optimization.
IEEE Access, 2024

2023
Integer Programming Based Optimization of Power Consumption for Data Center Networks.
Acta Cybern., 2023

2019
Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization.
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.
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.
Theory Comput. Syst., 2016

2014
iDQ: Instantiation-Based DQBF Solving.
Proceedings of the POS-14. Fifth Pragmatics of SAT workshop, 2014

On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic.
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.
Proceedings of the Computer Science - Theory and Applications, 2013

: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into.
Proceedings of the Automated Deduction - CADE-24, 2013

2012
On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width.
Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

2011
Developing an expert system for diet recommendation.
Proceedings of the 6th IEEE International Symposium on Applied Computational Intelligence and Informatics, 2011

2009
Metamodels in generation of UML using NLI-based dialog.
Proceedings of the 5th International Symposium on Applied Computational Intelligence and Informatics, 2009

2006
HyperS Tableaux - Heuristic Hyper Tableaux.
Acta Cybern., 2006

2003
CAML - A Universal Configuration Language for Dialogue Systems.
Proceedings of the Database and Expert Systems Applications, 14th International Conference, 2003


  Loading...