Marijn Heule
Codificaciones SAT para Eternity II
El punto de contacto del puzzle con el mundo SAT. Firmó la codificación SAT canónica en 2008, y su equipo reimplementó y mejoró más tarde la codificación que hay tras los resultados de benchmark SAT, el estado del arte del flanco de los métodos exactos.
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»