circuit_equivalence (171B)
1 # Circuit equivalence 2 3 [Computational_problem] of deciding, given two [Boolean_circuits], whether they represent the same [Boolean_function] 4 5 Up: [equivalence], [circuit]
wiki_researchpersonal research wiki | |
git clone https://a3nm.net/git/wiki_research/ | |
Log | Files | Refs |