PSAT

Este projeto estuda o problema da Satisfazibilidade Probabilísitica (PSAT), procurando desenvolver novos algoritmos que decidam o problema, além de investigar seu perfil de complexidade. Nesta página estão disponíveis alguns softwares resultantes da implementação de direfentes técnicas aordadas para resolver o PSAT:
- PSATtoSAT decide o PSAT fazendo uma redução polinomial ao SAT (problema da Satisfazibilidade Booleana). Assim, decidindo a satisfazilibidade de uma instância SAT, decide-se a satisfazibilidade probabilística de uma instância PSAT.

Subscribe to Drupal RSS