Heule, Marijn J. H.

Full name Familienname, Vorname

Heule, Marijn J. H.

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

RIS EndNote Bibtex Excel CSV Send via email

	Authors / Editors	Title	Type	Issue Date
1	Kiesl, Benjamin ; Heule, Marijn J. H. ; Seidl, Martina ; Gaspers, Serge ; Walsh, Toby	A Little Blocked Literal Goes a Long Way	Konferenzbeitrag Inproceedings	2017
2	Heule, Marijn J. H. ; Kiesl, Benjamin ; Biere, Armin ; de Moura, Leonardo	Short Proofs Without New Variables	Konferenzbeitrag Inproceedings	2017
3	Heule, Marijn J. H. ; Kiesl, Benjamin ; Seidl, Martina ; Biere, Armin	PRuning Through Satisfaction	Konferenzbeitrag Inproceedings	2017
4	Heule, Marijn J. H. ; Szeider, Stefan	A SAT Approach to Clique-Width	Artikel Article	2015