Engineering an Efficient Approximate DNF-Counter.

Mate Soos, Divesh Aggarwal, Sourav Chakraborty, Kuldeep S. Meel, Maciej Obremski

Browse the full IJCAI paper archive.