Marijn Heule

American computer scientist, known for developing SAT solving proofs to solve mathematical problems
Lists
Marijn Heule is in following lists