Identifiant pérenne : 070686831
Notice de type
Personne
Inférence et certificats pour le problème de satisfiabilité maximum / Matthieu Py
; sous la direction de Djamal Habet. Thèse de doctorat : Informatique : Aix-Marseille
: 2021. Site internet consulté en 2022: http://www.cril.univ-artois.fr/~audemard/
Résolution du problème SAT et génération de modèles finis en logique du premier ordre
/ Gilles Audemard, 2001
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial