Name Card

Full name Familienname, Vorname

Paulusma, Daniel

Own Publications Eigene Publikationen

Results 1-6 of 6 (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	Artikel Article	2015
	2		Paulusma, Daniel ; Slivovsky, Friedrich ; Szeider, Stefan	Model Counting for CNF Formulas of Bounded Modular Treewidth	Konferenzbeitrag Inproceedings	2013
	3		Ordyniak, Sebastian ; Paulusma, Daniel ; Szeider, Stefan	Satisfiability of acyclic and almost acyclic CNF formulas	Artikel Article	2013
	4		Ordyniak, Sebastian ; Paulusma, Daniel ; Szeider, Stefan	Satisfiability of Acyclic and almost Acyclic CNF Formulas (II)	Konferenzbeitrag Inproceedings	2011
	5		Ordyniak, Sebastian ; Paulusma, Daniel ; Szeider, Stefan	Satisfiability of Acyclic and Almost Acyclic CNF Formulas	Konferenzbeitrag Inproceedings	2010
	6		Van´t Hof, Pim ; Kaminski, Marcin ; Paulusma, Daniel ; Szeider, Stefan ; Thilikos, Dimitrios M.	On Contracting Graphs to Fixed Pattern Graphs	Konferenzbeitrag Inproceedings	2010