Page personnelle

Gaël Glorian

Post-Doc – LaBRI, Université de Bordeaux – CNRS

Thèmes :

PPC – Contraintes et SAT

Mots-clés :

  • hybridization
  • nogoods
  • clauses
  • SAT
  • CSP

Modifier vos informations