# solving #SAT in poly(number of vars) and exp(number of clauses)?

*From*: sasha mal <sashaDELETEITmal@xxxxxxxxxxxxxxxxxx>*Date*: Tue, 11 Jul 2006 19:54:19 +0200

Is there any algorithm to compute #SAT in polynomial time in the number of variables (and exponential in smth. else, e.g. in the number of clauses)?

Regards,

Sasha.

.

**Follow-Ups**:

- Prev by Date:
**Re: Two-dimensional pattern matching/compression** - Next by Date:
**Re: Two-dimensional pattern matching/compression** - Previous by thread:
**Algorithm to fit rectangles with different areas inside a matrix with lowest complexity** - Next by thread:
**Re: solving #SAT in poly(number of vars) and exp(number of clauses)?** - Index(es):