Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Ludovic Le Frioux

est l'auteur d'une thèse

Diviser pour régner Microprocesseurs multi-coeurs Outil Parallélisation Portfolio Satisfaisabilité booléenne Solveurs linéaires parallèles Traitement réparti Échange de clauses

Fullscreen

Diviser pour régner Microprocesseurs multi-coeurs Outil Parallélisation Portfolio Satisfaisabilité booléenne Solveurs linéaires parallèles Traitement réparti Échange de clauses

Ludovic Le Frioux a rédigé la thèse suivante :

Towards more efficient parallel SAT solving

par Ludovic Le Frioux sous la direction de Fabrice Kordon - Sorbonne université

Informatique

Soutenue le 03-07-2019

Thèse soutenue

Accéder en ligne