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
° DIGISCOPE UPS
INFRASTRUCTURE HAUTE PERFORMANCE POUR LA VISUALISATION INTERACTIVE ET COLLABORATIVE
ANR

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

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

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

° IUF
FABIO MARTIGNON
SUBVENTION