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
° IUF
FABIO MARTIGNON
SUBVENTION

° DIGISCOPE UPS
INFRASTRUCTURE HAUTE PERFORMANCE POUR LA VISUALISATION INTERACTIVE ET COLLABORATIVE
ANR

° DIGISCOPE CNRS
INFRASTRUCTURE HAUTE PERFORMANCE POUR LA VISUALISATION INTERACTIVE ET COLLABORATIVE
ANR

° ATOS/BULL
CONTRAT ATOS/BULL
INDUSTRIEL

° LCHIP
LCHIP