Can I read Lógica Computacional: Resolução e SAT on EtoBox?

Lógica Computacional: Resolução e SAT by Wilson Queiroz Ribeiro is a document available to read on EtoBox.

What is Lógica Computacional: Resolução e SAT about?

O documento aborda a lógica computacional, focando no método de resolução e no problema de satisfatibilidade booleana (SAT), incluindo sua decidibilidade e complexidade. Destaca a importância das cláusulas de Horn e apresenta o algoritmo Horn-SAT para verificar a satisfatibilidade de conjuntos de cláusulas Horn. O texto também discute a complexidade do problema SAT, classificando-o como NP-completo, e a eficiência do algoritmo em casos específicos.

Author

Wilson Queiroz Ribeiro

Language

PT