Parcourir par auteur Monnet, Anthony Jean-Luc

Regrouper par Type | Sans regrouement
Aller à Thèse ou essai doctoral accepté

Nombre de documents archivés : 1.

Thèse ou essai doctoral accepté

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 Apr 19 18:19:48 2024 EDT.