On generating all solutions of generalized satisfiability problemsN. Creignou and J.-J. HebrardRAIRO-Theor. Inf. Appl., 31 6 (1997) 499-511DOI: https://doi.org/10.1051/ita/1997310604991
