Name Card

Full name Familienname, Vorname

Wilke, Thomas

Contributing Publications Mitbeteiligte 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		Paulusma, Daniel ; Slivovsky, Friedrich ; Szeider, Stefan	Model Counting for CNF Formulas of Bounded Modular Treewidth	Konferenzbeitrag Inproceedings	2013
	2		Gaspers, Serge ; Ordyniak, Sebastian ; Ramanujan, M.S. ; Saurabh, Saket ; Szeider, Stefan	Backdoors to q-Horn	Konferenzbeitrag Inproceedings	2013