Gergely Kovásznai

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Soft voting robustness in neural network ensembles with empirical analysis and formal verification Annales Mathematicae et Informaticae	2026-03-20	Paper
Automated fair team formation in STEAM activities using Satisfiability Modulo Theories (SMT) Annales Mathematicae et Informaticae	2026-03-20	Paper
Integer programming based optimization of power consumption for data center networks Acta Cybernetica	2024-09-11	Paper
Formal verification for quantized neural networks Annales Mathematicae et Informaticae	2023-12-12	Paper
Complexity of fixed-size bit-vector logics Theory of Computing Systems	2017-01-18	Paper
On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic Mathematical Foundations of Computer Science 2014	2014-10-14	Paper
bv2epr: a tool for polynomially translating quantifier-free bit-vector formulas into EPR Automated Deduction – CADE-24	2013-06-14	Paper
More on the complexity of quantifier-free fixed-size bit-vector logics with binary encoding Computer Science – Theory and Applications	2013-06-14	Paper
Empirical investigation on combining tableaux and resolution	2012-08-29	Paper
scientific article; zbMATH DE number 5770428 (Why is no real title available?)	2010-08-13	Paper
Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux	2010-08-13	Paper
scientific article; zbMATH DE number 5661162 (Why is no real title available?)	2010-01-21	Paper
HyperS tableaux -- heuristic hyper tableaux	2006-06-27	Paper

Research outcomes over time

This page was built for person: Gergely Kovásznai