On the relations between SAT and CSP enumerative algorithms

• Authors:

• Richard Génisson;Philippe Jégou

• Affiliations:

• -;-

• Venue:
• Discrete Applied Mathematics - Special issue on Boolean functions and related problems
• Year:
• 2000