| Accueil |
 |
|
|
 |
| Équipes |
|
|
|
 |
| Projets struct. |
|
|
|
|
| Vie du laboratoire |
|
|
|
|
|
 |
Jean-Nicolas BÈS
|
 |
|
|
|
Ancien Membre de l'équipe INCA |
| |
|
Masquer les détails concernant la thèseTHÈSE
Sujet de thèse :
Preuve d'inconsistance à base de méthodes incomplètes |
Directeur(s) de thèse :
Philippe Jégou et Nicolas Prcovic |
Date de début de thèse :
octobre 2004 |
|
PUBLICATIONS
|
|
|
[1] J.-N. Bès, P. Jégou, “Proving Graph Un-colorability with a Consistency Check of CSP”, in: Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence, IEEE, pp. 693-694, Hong Kong, China, novembre 2005. Poster.[bib] |
|
|
|
|
|
|
| Recherche |
|
|
|
|
| Enseignement |
|
|
|
|
| Liens |
|
|
|
|
|
