Parcourir par auteur Monnet, Anthony Jean-Luc

Regrouper par Type Sans regrouement |

Nombre de documents archivés : 1.

Monnet, Anthony Jean-Luc (2013). « Améliorer l'efficacité de l'algorithme CDCL : décompositions arborescentes de grandes instances, CDCL sans saut arrière et CDCL à ordre partiel » Thèse. Montréal (Québec, Canada), Université du Québec à Montréal, Doctorat en informatique.

Cette liste a été générée le Fri May 3 09:26:38 2024 EDT.