Travelled to:1 × USA
1 × United Kingdom
Collaborated with:A.Fröhlich A.Biere
Talks about:bit (3) vector (2) translat (1) quantifi (1) polynomi (1) formula (1) complex (1) binari (1) width (1) logic (1)
Person: Gergely Kovásznai
DBLP: Kov=aacute=sznai:Gergely
Contributed to:
2013
2012Wrote 2 papers:
- CADE-2013-KovasznaiFB #quantifier
- : A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into (GK, AF, AB), pp. 443–449.
- SMT-2012-KovasznaiFB #complexity #logic #on the
- On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width (GK, AF, AB), pp. 44–56.