Next: Comunication with PPL Up: The Consistency Checker Previous: The Consistency Checker   Contents

The algorithm

This algorithm was developed by Paulo Sérgio de Souza Andrade, it is called Geracol. For a detailed explanation see the paper Método de Geracão de Colunas aplicado ao problema de Satisfatibilidade Probabilistica - reference [8].