Ir para o conteúdo principal
Painel lateral
Paca
Página inicial
Mais
Português - Brasil (pt_br)
English (en)
Português - Brasil (pt_br)
Você acessou como visitante
Acessar
Página inicial
Abrir índice do curso
Semestres anteriores
IA-2007
Satplan
Arquivo
Satplan
Planejamento como um problema de satisfatibilidade.
Clique no link
Aula20-satplan-2007.pdf
para ver o arquivo.