Name Card

Full name Familienname, Vorname

Jiang, Jie-Hong R.

Own Publications Eigene Publikationen

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

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Balabanov, Valeriy ; Jiang, Jie-Hong R. ; Janota, Mikolás ; Widl, Magdalena	Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs	Konferenzbeitrag Inproceedings	2015
	2		Balabanov, Valeriy ; Widl, Magdalena ; Jiang, Jie-Hong R.	QBF Resolution Systems and Their Proof Complexities	Konferenzbeitrag Inproceedings	2014
	3		Balabanov, Valeriy ; Jiang, Jie-Hong R. ; Janota, Mikolás ; Widl, Magdalena	Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs	Konferenzbeitrag Inproceedings	2014