정확하고 투명한 계산 모델로서의 기호 리스팅

기호 리스팅은 부울 함수의 복잡도와 저깊이 산술 회로 복잡도를 공식적으로 연결하는 대수적 계산 모델을 제공한다.