Page personnelle

Jean-Marie Lagniez

Maître de Conférence – CRIL, Universite d’Artois

Page personnelle

Thèmes :

RCR – Représentation des connaissances et modélisation des raisonnements

PPC – Contraintes et SAT

Mots-clés :

• SAT
• CSP
• Compilation

Modifier vos informations