Gergely Kovásznai

From MaRDI portal
Person:504995

Available identifiers

zbMath Open kovasznai.gergelyMaRDI QIDQ504995

List of research outcomes





PublicationDate of PublicationType
Integer programming based optimization of power consumption for data center networks2024-09-11Paper
Formal verification for quantized neural networks2023-12-12Paper
Complexity of fixed-size bit-vector logics2017-01-18Paper
On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic2014-10-14Paper
bv2epr: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into EPR2013-06-14Paper
More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding2013-06-14Paper
Empirical investigation on combining tableaux and resolution2012-08-29Paper
https://portal.mardi4nfdi.de/entity/Q35807862010-08-13Paper
https://portal.mardi4nfdi.de/entity/Q35808012010-08-13Paper
https://portal.mardi4nfdi.de/entity/Q58511492010-01-21Paper
https://portal.mardi4nfdi.de/entity/Q54756212006-06-27Paper

Research outcomes over time

This page was built for person: Gergely Kovásznai

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:504995&oldid=7696226"
Powered by MediaWiki