@inproceedings{10.1145/3209108.3209179,
    Abstract = {In this paper we give a characterization of both Boolean and arithmetic circuit classes of logarithmic depth in the vein of descriptive complexity theory, i.e., the Boolean classes NC1, SAC1 and AC1 as well as their arithmetic counterparts \#NC1, \#SAC1 and \#AC1. We build on Immerman's characterization of constant-depth polynomial-size circuits by formulae of first-order logic, i.e., AC0 = FO, and augment the logical language with an operator for defining relations in an inductive way. Considering slight variations of the new operator, we obtain uniform characterizations of the three just mentioned Boolean classes. The arithmetic classes can then be characterized by functions counting winning strategies in semantic games for formulae characterizing languages in the corresponding Boolean class.},
    Address = {New York, NY, USA},
    Author = {Durand, Arnaud and Haak, Anselm and Vollmer, Heribert},
    BookTitle = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science},
    File = {Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth - 3209108.3209179.pdf},
    ISBN = {9781450355834},
    Keywords = {descriptive complexity, arithmetic circuits, counting classes, finite model theory},
    Location = {Oxford, United Kingdom},
    Pages = {354--363},
    Publisher = {Association for Computing Machinery},
    Series = {LICS '18},
    Title = {Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth},
    URL = {https://doi.org/10.1145/3209108.3209179},
    Year = {2018},
    bdsk-url-1 = {https://doi.org/10.1145/3209108.3209179},
    date-added = {2022-07-01 12:43:06 +0200},
    date-modified = {2022-07-01 12:43:06 +0200},
    numpages = {10},
    doi = {10.1145/3209108.3209179}
}

@inproceedings{10.1145/3209108.3209179, Abstract = {In this paper we give a characterization of both Boolean and arithmetic circuit classes of logarithmic depth in the vein of descriptive complexity theory, i.e., the Boolean classes NC1, SAC1 and AC1 as well as their arithmetic counterparts #NC1, #SAC1 and #AC1. We build on Immerman's characterization of constant-depth polynomial-size circuits by formulae of first-order logic, i.e., AC0 = FO, and augment the logical language with an operator for defining relations in an inductive way. Considering slight variations of the new operator, we obtain uniform characterizations of the three just mentioned Boolean classes. The arithmetic classes can then be characterized by functions counting winning strategies in semantic games for formulae characterizing languages in the corresponding Boolean class.}, Address = {New York, NY, USA}, Author = {Durand, Arnaud and Haak, Anselm and Vollmer, Heribert}, BookTitle = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science}, File = {Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth - 3209108.3209179.pdf}, ISBN = {9781450355834}, Keywords = {descriptive complexity, arithmetic circuits, counting classes, finite model theory}, Location = {Oxford, United Kingdom}, Pages = {354--363}, Publisher = {Association for Computing Machinery}, Series = {LICS '18}, Title = {Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth}, URL = {https://doi.org/10.1145/3209108.3209179}, Year = {2018}, bdsk-url-1 = {https://doi.org/10.1145/3209108.3209179}, date-added = {2022-07-01 12:43:06 +0200}, date-modified = {2022-07-01 12:43:06 +0200}, numpages = {10}, doi = {10.1145/3209108.3209179} }