About: Marijn Heule

Property	Value
dbo:almaMater	dbr:Delft_University_of_Technology
dbo:birthDate	1979-03-12 (xsd:date)
dbo:birthPlace	dbr:Netherlands dbr:Rijnsburg
dbo:birthYear	1979-01-01 (xsd:gYear)
dbo:description	Amerikaans informaticus (nl) American computer scientist, known for developing SAT solving proofs to solve mathematical problems (en) informaticien néerlandais-américain (né 1979), qui étudie des solveurs de SAT et en utilise pour résoudre des conjectures mathématiques (fr)
dbo:employer	dbr:Carnegie_Mellon_University
dbo:occupation	dbr:Marijn_Heule__PersonFunction__1
dbo:thumbnail	wiki-commons:Special:FilePath/Ptn-7824-zoom-1.png?width=300
dbo:wikiPageExternalLink	http://www.cs.cmu.edu/~mheule/ https://www.cs.utexas.edu/users/marijn/
dbo:wikiPageWikiLink	dbc:Living_people dbr:Netherlands dbr:Delft_University_of_Technology dbr:Carnegie_Mellon_University dbr:National_Science_Foundation dbr:University_of_Texas_at_Austin dbr:Rijnsburg dbr:Boolean_Pythagorean_triples_problem dbc:Dutch_computer_scientists dbr:Schur's_theorem dbr:Heuristic_(computer_science) dbr:Scott_Aaronson dbr:Keller's_conjecture dbr:Collatz_conjecture dbr:Texas_Advanced_Computing_Center dbr:Ronald_Graham dbr:SAT_solver dbc:1979_births dbc:Delft_University_of_Technology_alumni dbc:University_of_Texas_at_Austin_faculty dbc:Carnegie_Mellon_University_faculty dbr:The_Netherlands dbr:Boolean_satisfiability dbr:File:Ptn-7824-zoom-1.png
dbp:almaMater	dbr:Delft_University_of_Technology
dbp:birthDate	1979-03-12 (xsd:date)
dbp:birthPlace	dbr:Netherlands dbr:Rijnsburg
dbp:employer	Carnegie Mellon University (en)
dbp:knownFor	Using SAT solvers to solve mathematical conjectures (en)
dbp:name	Marijn Heule (en)
dbp:occupation	Associate professor (en)
dbp:website	http://www.cs.cmu.edu/~mheule/
dbp:wikiPageUsesTemplate	dbt:Math_theorem dbt:Authority_control dbt:Birth_date_and_age dbt:Infobox_person dbt:Reflist dbt:Short_description dbt:Use_mdy_dates
dct:subject	dbc:Living_people dbc:Dutch_computer_scientists dbc:1979_births dbc:Delft_University_of_Technology_alumni dbc:University_of_Texas_at_Austin_faculty dbc:Carnegie_Mellon_University_faculty
rdf:type	owl:Thing foaf:Person dbo:Person dbo:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Animal dbo:Animal dbo:Eukaryote dbo:Eukaryote dbo:Species dbo:Species schema:Person
rdfs:label	Marijn Heule (en)
owl:sameAs	wikidata:Marijn Heule http://d-nb.info/gnd/1078931380 http://viaf.org/viaf/2144814230225920421 dbpedia-global:Marijn Heule
prov:wasDerivedFrom	wikipedia-en:Marijn_Heule?oldid=1309830161&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Ptn-7824-zoom-1.png
foaf:homepage	http://www.cs.cmu.edu/~mheule/ http://www.cs.cmu.edu/~mheule/
foaf:isPrimaryTopicOf	wikipedia-en:Marijn_Heule
foaf:name	Marijn Heule (en)
is dbo:wikiPageDisambiguates of	dbr:Marijn
is dbo:wikiPageRedirects of	dbr:Marienus_Johannes_Hendrikus_Heule
is dbo:wikiPageWikiLink of	dbr:Computer-assisted_proof dbr:Boolean_Pythagorean_triples_problem dbr:Deterministic_finite_automaton dbr:List_of_unsolved_problems_in_mathematics dbr:Marijn dbr:List_of_long_mathematical_proofs dbr:Marienus_Johannes_Hendrikus_Heule
is foaf:primaryTopic of	wikipedia-en:Marijn_Heule