Français Anglais
Accueil Annuaire Plan du site
Production scientifique
Contrat de l'équipe Intelligence Artificielle et Systèmes d'Inférence
UNLOC

ANR
Oct. 2009 - Mars 2012

Equipe : Intelligence Artificielle et Systèmes d'Inférence
Responsable : 

Gestionnaire : 
Organisme gérant : Université Paris XI

UNLOC - Algorithmes Incomplets pour la réfutation

In UNLOC, we focused on incomplete search for UNSAT, a challenging and promising question, and developing new learning schemes for Conflict Directed Clause Learning algorithms.

Activités de recherche
  Intelligence Artificielle
  Logique

Membres LRI



Contrats
° SESAME DIGIPODS UPS
INTERACTION COLLABORATIVE à DISTANCE ENTRE PLATEFORMES DE VISUALISATION HéTéROGèNES
REGION IDF

° ERC ONE
ERC ONE
CONTRAT EUROPEEN

° NEXT
NEXT

° SOFTQPRO
SOFTQPRO
ANR