sharp_dnnf_approximation (265B)
1 # Sharp dnnf approximation 2 3 The #DNNF problem admits an [FPRAS] according to [meel2024fpras] 4 - generalization (uses their result) in [hecher2025alternation] 5 6 Up: [sharp_dnnf], [fpras] 7 8 Aliases: sharp DNNF approximate, sharpDNNF approximate, sharpDNNF approximation