hpXbred

HpXbred est un logiciel open-source dédié à la résolution de systèmes polynomiaux booléens aléatoires. Il met en œuvre l'algorithme décrit dans l'article "A Crossbred Algorithm for Solving Boolean Polynomial Systems" et a été utilisé pour résoudre les plus grands défis booléens sur le site mqchallenge.org.
Description générée le mardi 19 mars 2024 à 17:01:26

D'autres initiatives de la même organisation