Une formule de Horn est une formule qui contient au plus un littéral positif dans chaque clause, c`est une conjonction de clauses de Horn.et références Trouvé sur https://fr.wikipedia.org/wiki/Horn-satisfiabilité
Aucun résultat n’a été trouvé dans l’encyclopédie.
Une formule de Horn est une formule qui contient au plus un littéral positif dans chaque clause, c`est une conjonction de clauses de Horn.et références