TY  - RPRT
TI  - Complexity classifications for different equivalence and audit problems for Boolean circuits
AU  - Elmar Böhler
AU  - Nadia Creignou
AU  - Matthias Galota
AU  - Steffen Reith
AU  - Henning Schnoor
AU  - Heribert Vollmer
PY  - 2012
DO  - 10.2168/lmcs-8(3:31)2012
UR  - https://arxiv.org/abs/1009.1208
ID  - 1009.1208
ER  -