Risolvere SAT utilizzando il calcolo del tableau

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

Domanda

Ho appreso il calcolo di Tableau che è una procedura decisionale che risolve il problema della soddisfazione di una formula logica del primo ordine. Ora mi chiedo perché questa tecnica non può essere utilizzata per risolvere il problema di soddisfazione (SAT)?

Nessuna soluzione corretta

Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a cs.stackexchange
scroll top