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.