Нижние границы на #SAT?

Проблема #SAT является канонической # P-полной проблемой. Это скорее функциональная проблема, чем проблема решения. При булевой формуле в пропозициональной логике спрашивается, сколько удовлетворяющих заданий имеет. Каковы лучшие нижние границы на #SAT?$F$$F$

Насколько мне известно, никто не придумал, как использовать свойство «подсчета решений» #SAT в любой нижней границе детерминированных алгоритмов, поэтому, к сожалению, наиболее известные нижние оценки для #SAT в основном такие же, как и для SAT.

$1/2$$PP$$O(n)$

$1/2$$X$$1/2$$Y$$PP^{PP}$

Опрос на http://pages.cs.wisc.edu/~dieter/Papers/sat-lb-survey-fttcs.pdf дает обзор результатов в этом направлении.

$NP=RP$