wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

fbdd_equivalence (173B)

      1 # FBDD equivalence
      2 
      3 It is known to be in [BPP] but not in [PTIME], see [circuit_zoo]
      4 
      5 Up: [fbdd], [circuit_equivalence]
      6 
      7 Aliases: equivalence FBDD, circuit equivalence FBDD