An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas.

Ruiwen Chen, Valentine Kabanets, Nitin Saurabh

Browse the full MFCS paper archive.