Counting the Number of Solutions for Instances of Satisfiability

Olivier Dubois. Counting the Number of Solutions for Instances of Satisfiability. Theoretical Computer Science, 81(1):49-64, 1991.

Authors

Olivier Dubois

This author has not been identified. Look up 'Olivier Dubois' in Google