circuit_equivalence_ddnnfs (228B)
1 # Circuit equivalence d-DNNFs 2 3 The [circuit_equivalence_problem] on [d-DNNFs] is in [coRP]: [darwiche2002testing] 4 5 Up: [circuit_equivalence_problem], [d-DNNF] 6 7 Aliases: dDNNF_equivalence 8 9 See also: [polynomial_identity_testing]