Name Card

Full name Familienname, Vorname

Fröhlich, Andreas

Own Publications Eigene Publikationen

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

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Kovasznai, Gergely ; Fröhlich, Andreas ; Biere, Armin	EPR Encodings of Bit-Vector Problems Even With Quantifiers	Präsentation Presentation	2014
	2		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
	3		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
	4		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