Name Card

Full name Familienname, Vorname

Könighofer, Robert

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Seidl, Martina ; Könighofer, Robert	Partial witnesses from preprocessed quantified Boolean formulas	Konferenzbeitrag Inproceedings	2014
	2		Bloem, Roderick ; Egly, Uwe ; Klampfl, Patrick ; Könighofer, Robert ; Lonsing, Florian	SAT-Based Methods for Circuit Synthesis	Konferenzbeitrag Inproceedings	2014
	3		Bloem, Roderick ; Könighofer, Robert ; Seidl, Martina	SAT-Based Synthesis Methods for Safety Specs	Konferenzbeitrag Inproceedings	2014