Marijn Heule (Q105954357)
Jump to navigation
Jump to search
American computer scientist, known for developing SAT solving proofs to solve mathematical problems
- Marijn J.H. Heule
- Marienus Johannes Hendrikus Heule
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Marijn Heule |
American computer scientist, known for developing SAT solving proofs to solve mathematical problems |
|
Statements
1979
1 reference
12 March 1979
1 reference
1 reference
1 reference
1 reference
Identifiers
1 reference
Sitelinks
Wikipedia(1 entry)
- enwiki Marijn Heule