Aula Prática #9

5 maio 2008, 17:00 • Bruno Serra Loff Barreto

Aplicação do algoritmo de Buchberger à decisão de fórmulas proposicionais. Considerações sobre a complexidade do cálculo de uma base de Grobner.