Marijn Heule
SAT encodings for Eternity II
The SAT world's contact point for the puzzle. He authored the canonical SAT encoding in 2008, and his group later re-implemented and improved the encoding behind the SAT benchmark results, the state of the art of the exact-methods flank.
This is a profile page. This researcher's contributions are documented across the wiki, from the records to the history, rather than gathered under their own byline.
See their entry in the Who's-who