Name Card

Full name Familienname, Vorname
Heule, Marijn J. H.
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Heule, Marijn J. H. ; Kiesl, Benjamin ; Biere, Armin Short Proofs Without New VariablesKonferenzbeitrag Inproceedings 2017
2Heule, Marijn J. H. ; Kiesl, Benjamin ; Seidl, Martina ; Biere, Armin PRuning Through SatisfactionKonferenzbeitrag Inproceedings 2017
3Kiesl, Benjamin ; Heule, Marijn J. H. ; Seidl, Martina A Little Blocked Literal Goes a Long WayKonferenzbeitrag Inproceedings 2017
4Heule, Marijn J. H. ; Szeider, Stefan A SAT Approach to Clique-WidthArtikel Article2015