Résolution de SAT en utilisant le calcul de tableau

cs.stackexchange https://cs.stackexchange.com/questions/26383

Question

J'ai appris sur Tableau Calculus qui est une procédure de décision résolvant le problème de la satisfabilité d'une formule logique de premier ordre. Maintenant, je me demande pourquoi cette technique ne peut pas être utilisée pour résoudre le problème de satisfaction (SAT)?

Pas de solution correcte

Licencié sous: CC-BY-SA avec attribution
Non affilié à cs.stackexchange
scroll top