Djamal Habet

Maître de Conférence – LSIS

Thèmes :

PPC – Contraintes et SAT

Mots-clés :

• SAT
• Max-SAT
• Min-SAT

Modifier vos informations