Name Card

Full name Familienname, Vorname

Kovasznai, Gergely

Main Affiliation Organisationszuordnung

E184 - Institut für Informationssysteme

Own Publications Eigene Publikationen

All

Conference Papers

Others

Access Type

1 Open Access

Author

Subject

Date issued

5 2000 - 2024

Results 1-5 of 5 (Search time: 0.002 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Kovasznai, Gergely ; Gajdár, Krisztián ; Kovacs, Laura	Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization	Inproceedings Konferenzbeitrag	15-Apr-2020
	2		Kovasznai, Gergely ; Fröhlich, Andreas ; Biere, Armin	EPR Encodings of Bit-Vector Problems Even With Quantifiers	Präsentation Presentation	2014
	3		Fröhlich, Andreas ; Kovasznai, Gergely ; Biere, Armin ; Veith, Helmut	On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic	Konferenzbeitrag Inproceedings	2014
	4		Kovásznai, Gergely ; Veith, Helmut ; Fröhlich, Andreas ; Biere, Armin	On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic	Konferenzbeitrag Inproceedings	2014
	5		Kovasznai, Gergely ; Veith, Helmut ; Fröhlich, Andreas ; Biere, Armin	On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic	Präsentation Presentation	2014