Name Card

Full name Familienname, Vorname

Jordan, Charles

Own Publications Eigene Publikationen

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

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Janota, Mikolás ; Jordan, Charles ; Klieber, Will ; Lonsing, Florian ; Seidl, Martina ; Van Gelder, Allen	The QBF Gallery 2014: The QBF Competition at the FLoC Olympic Games	Artikel Article	2016
	2		Jordan, Charles ; Kaiser, Lukasz ; Lonsing, Florian ; Seidl, Martina	MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing	Konferenzbeitrag Inproceedings	2014