| dbo:abstract
|
- Marienus Johannes Hendrikus Heule (born March 12, 1979 at Rijnsburg, The Netherlands) is a Dutch computer scientist at Carnegie Mellon University who studies SAT solvers. Heule has used these solvers to resolve mathematical conjectures such as the Boolean Pythagorean triples problem, Schur's theorem number 5, and Keller's conjecture in dimension seven. (en)
|
| dbo:almaMater
| |
| dbo:birthDate
| |
| dbo:birthPlace
| |
| dbo:birthYear
| |
| dbo:employer
| |
| dbo:occupation
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5645 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
| |
| dbp:birthDate
| |
| dbp:birthPlace
| |
| dbp:employer
|
- Carnegie Mellon University (en)
|
| dbp:knownFor
|
- Using SAT solvers to solve mathematical conjectures (en)
|
| dbp:name
| |
| dbp:occupation
| |
| dbp:website
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Marienus Johannes Hendrikus Heule (born March 12, 1979 at Rijnsburg, The Netherlands) is a Dutch computer scientist at Carnegie Mellon University who studies SAT solvers. Heule has used these solvers to resolve mathematical conjectures such as the Boolean Pythagorean triples problem, Schur's theorem number 5, and Keller's conjecture in dimension seven. (en)
|
| rdfs:label
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
