An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs.

Kuldeep S. Meel, Alexis de Colnet

Browse the full ICDT paper archive.