Full name Familienname, Vorname

Heule, Marijn

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

RIS EndNote Bibtex Excel CSV Send via email

	Author(s)	Title	Type	Issue Date
1	Vukmirović, Petar ; Blanchette, Jasmin ; Heule, Marijn	SAT-Inspired Eliminations for Superposition	Inproceedings	Oct-2021
2	Liu, Zhenjun ; Chew, Leroy ; Heule, Marijn	Avoiding Monochromatic Rectangles Using Shift Patterns	Konferenzbeitrag Inproceedings	2021
3	Kiesl, Benjamin ; Rebola Pardo, Adrian ; Heule, Marijn	Extended Resolution Simulates DRAT	Konferenzbeitrag Inproceedings	2018
4	Heule, Marijn ; Kiesl, Benjamin	The Potential of Interference-Based Proof Systems	Konferenzbeitrag Inproceedings	2017
5	Heule, Marijn ; Järvisalo, Matti ; Lonsing, Florian ; Seidl, Martina ; Biere, Armin	Clause Elimination for SAT and QSAT	Artikel Article	2015
6	Heule, Marijn ; Seidl, Martina ; Biere, Armin	A Unified Proof System for QBF Preprocessing	Konferenzbeitrag Inproceedings	2014
7	Heule, Marijn ; Szeider, Stefan	A SAT Approach to Clique-Width	Konferenzbeitrag Inproceedings	2013
8	Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans	Guided Merging of Sequence Diagrams	Konferenzbeitrag Inproceedings	2013
9	Widl, Magdalena ; Biere, Armin ; Kaufmann, Petra ; Egly, Uwe ; Heule, Marijn ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans	Guided Merging of Sequence Diagrams	Konferenzbeitrag Inproceedings	2012