On generating all solutions of generalized satisfiability problems N. Creignou; J.-J. Hebrard — 1997 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications