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.
Esta es una página de perfil. Las contribuciones de este investigador están documentadas por todo el wiki, desde los récords hasta la historia, en lugar de reunidas bajo su sola firma.
Ver su entrada en el «Quién es quién»