Modificando o SATPLAN06 com outros métodos de busca

Abstract

O SATPLAN-BIN, MINISATPLAN e MINISATPLAN2 são propostas de abordagens alternativas à solução de problemas de planejamento baseadas no planejador SATPLAN06, que faz uso de duas estratégias já existentes, que são a de planejamento como satisfatibilidade e a criação de uma estrutura chamada de grafo de planejamento. O MINISATPLAN é uma versão simplificada do SATPLAN06 que remove várias funcionalidades existentes no SATPLAN06 para otimizar o tempo de execução. Diferente da busca linear realizada pelo SATPLAN06, o SATPLAN-BIN utiliza-se de uma busca binária para encontrar o menor nível do grafo de planejamento na qual um problema é satisfazível. O MINISATPLAN2 faz uma busca linear, mas avança de dois em dois níveis, ao invés de um, na procura do menor nível do grafo de planejamento.