DNF-Net

Quantificação de Literais

Processo de determinação automática da importância relativa de cada literal lógico nas cláusulas da DNF-Net.

← Voltar