Sumários
T_22
8 Janeiro 2021, 09:30 • Mário Jorge Edmundo
Exemplos de aplicações dos algoritmos de Horn, de resolução para a tt-satisfazibilidade e de resolução para a satisfazibilidade. Nota sobre resolução e factorização.
8 Janeiro 2021, 09:30 • Mário Jorge Edmundo
Exemplos de aplicações dos algoritmos de Horn, de resolução para a tt-satisfazibilidade e de resolução para a satisfazibilidade. Nota sobre resolução e factorização.