Dipartimento di Informatica, University of Pisa, Corso Italia 40, 56125, Pisa, Italy
Abstract:
A new enumeration algorithm is proposed for the propositional satisfiability problem. Such algorithm is based on a hypergraph formulation of the problem. Two different implementations of the algorithm are presented together with the results of an experimentation intended to compare their performance with the performance of other known methods. The computational results obtained are quite promising.