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

Jerry Garvin Lonlac Konlac

est l'auteur d'une thèse

Apprentissage de clauses Contraintes Fonctions booléennes Lauses bi-assertives Satisfiabilité propositionnelle Solveurs Solveurs SAT

Fullscreen

Apprentissage de clauses Contraintes Fonctions booléennes Lauses bi-assertives Satisfiabilité propositionnelle Solveurs Solveurs SAT

Jerry Garvin Lonlac Konlac a rédigé la thèse suivante :

Contributions à la résolution du problème de la Satisfiabilité Propositionnelle

par Jerry Garvin Lonlac Konlac sous la direction de Lakhdar Saïs - Artois

Informatique

Soutenue le 03-10-2014

Thèse soutenue

Accéder en ligne