Marijn Heule
Encodages SAT pour Eternity II
Le point de contact du casse-tête avec le monde SAT. Il a signé l'encodage SAT canonique en 2008, et son équipe a plus tard réécrit et amélioré l'encodage à l'origine des résultats étalons SAT, ce que les méthodes exactes ont produit de mieux.
Ceci est une page de profil. Les contributions de ce chercheur sont documentées un peu partout dans le wiki, des records à l'histoire, plutôt que réunies sous sa seule signature.
Voir son entrée dans le « Qui est qui »