Pages that link to "Biography:Marijn Heule"
From HandWiki
The following pages link to Biography:Marijn Heule:
Displayed 5 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- List of long mathematical proofs (← links)
- List of unsolved problems in mathematics (← links)
- Deterministic finite automaton (← links)
- Boolean Pythagorean triples problem (← links)
- SAT solver (← links)