Heule, Marijn, 1979-
URI(s)
Fuller Name
- Johanes Hendrikus
Variants
- Heule, Marijn J. H., 1979-
- Heule, Marienus Johanes Hendrikus, 1979-
Additional Information
Birth Date
- 1979-03-12
Has Affiliation
- Organization: University of Texas at Austin
Birth Place
- Rijnsburg (Netherlands)
Associated Language
- English
Field of Activity
Occupation
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: Theory and applications of satisfiability testing - SAT 2015, [2015]:t.p. (Marijn Heule) verso (University of Texas, Austin, TX, USA)
- found: University of Texas website, 14 December 2015:resume pdf (Marijn J.H. Heule; full name: Marienus Johanes Hendrikus Heule; born: March 12, 1979, Rijnsburg, The Netherlands)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 2015-12-14: new
- 2015-12-15: revised
Alternate Formats