TY  - RPRT
TI  - Complexity Classes and Theories for the Comparator Circuit Value Problem
AU  - Stephen A. Cook
AU  - Dai Tri Man Le
AU  - Yuli Ye
PY  - 2011
UR  - https://arxiv.org/abs/1106.4142
ID  - 1106.4142
ER  -