FPTAS for Counting Monotone CNF

Jingcheng Liu, Pinyan Lu. FPTAS for Counting Monotone CNF. In Piotr Indyk, editor, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, January 4-6, 2015. pages 1531-1548, SIAM, 2015. [doi]

Abstract

Abstract is missing.