Paulusma, Daniel

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname
Paulusma, Daniel
 

Own Publications Eigene Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Paulusma, Daniel ; Slivovsky, Friedrich ; Szeider, Stefan Model Counting for CNF Formulas of Bounded Modular TreewidthArtikel Article2015
2Paulusma, Daniel ; Slivovsky, Friedrich ; Szeider, Stefan ; Portier, Natacha ; Wilke, Thomas Model Counting for CNF Formulas of Bounded Modular TreewidthKonferenzbeitrag Inproceedings 2013
3Ordyniak, Sebastian ; Paulusma, Daniel ; Szeider, Stefan Satisfiability of acyclic and almost acyclic CNF formulasArtikel Article2013
4Ordyniak, Sebastian ; Paulusma, Daniel ; Szeider, Stefan Satisfiability of Acyclic and almost Acyclic CNF Formulas (II)Konferenzbeitrag Inproceedings 2011
5Van´t Hof, Pim ; Kaminski, Marcin ; Paulusma, Daniel ; Szeider, Stefan ; Thilikos, Dimitrios M. On Contracting Graphs to Fixed Pattern GraphsKonferenzbeitrag Inproceedings 2010
6Ordyniak, Sebastian ; Paulusma, Daniel ; Szeider, Stefan ; Lodaya, Kamal ; Mahajan, Meena Satisfiability of Acyclic and Almost Acyclic CNF FormulasKonferenzbeitrag Inproceedings 2010