Heule, Marijn, 1979-
Heule, Marijn H. J. 1979-
Heule, Marijn, 19..-....
Marijn Heule
VIAF ID: 2144814230225920421 ( Personal )
Permalink: http://viaf.org/viaf/2144814230225920421
Preferred Forms
- 100 1 _ ‡a Heule, Marijn H. J. ‡d 1979-
- 100 1 _ ‡a Heule, Marijn, ‡d 19..-....
-
-
- 100 1 _ ‡a Heule, Marijn, ‡d 1979-
- 100 0 _ ‡a Marijn Heule
4xx's: Alternate Name Forms (8)
5xx's: Related Names (3)
- 551 _ _ ‡a Rijnsburg ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 510 2 _ ‡a Technische Universiteit Delft ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a University of Texas ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Clausal proofs for pseudo-boolean reasoning | |
Encoding Redundancy for Satisfaction-Driven Clause Learning | |
Handbook of satisfiability | |
Strong Extension-Free Proof Systems | |
Theory and applications of satisfiability testing : SAT 2015 : 18th international conference, Austin, TX, USA, september 24-27, 2015 : proceedings |