@在集合{zbMATH06851915中，作者＝｛Sakai、Takayuki和Seto、Kazuhisa和Tamaki、Suguru和Teruyama、Junichi｝，标题={带加权对称门的有界深度电路：可满足性、下限和压缩}，BookTitle={第41届计算机科学数学基础国际研讨会，2016年MFCS，波兰克拉科夫，2016年8月22日至26日。诉讼}，国际标准图书编号={978-3-95977-016-3}，页码={16}，注={Id/No 82}，年份={2016年}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/LIPIcs.MFCS.2016.82}，关键词={68Q25,68Q17,94C10}，zbMATH={6851915}，Zbl={1398.68259}}