Connexion
Retour à l'accueil
  • Toutes les thèses
  • Thèses en préparation
  • Personnes
  • Organismes
Désactiver l'autocomplétion Activer l'autocomplétion






Effacer

Recherche avancée
Uniquement les thèses en préparation dont la soutenance est prévue dans les 6 prochains mois
Uniquement les personnes en lien avec une thèse soutenue ou en préparation depuis moins de 5 ans
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
ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales