Intermediate problems in modular circuits satisfiability-Reference-Cited by-同舟云学术

Intermediate problems in modular circuits satisfiability

Published:2020-07-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
language:
Short-container-title:

Author:

Idziak Paweł M.¹,Kawałek Piotr¹,Krzaczkowski Jacek²

Affiliation:

1. Department of Theoretical Computer Science, Jagiellonian University Kraków, Poland

2. Physics and Computer Science, Institute of Computer Science, Maria Curie-Sklodowska University, Lublin, Poland

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3373718.3394780

Reference28 articles.

1. Some applications of higher commutators in Mal’cev algebras

2. Representing Boolean functions as polynomials modulo composite numbers

3. Mix Barrington, Howard Straubing and Denis Thérien, Nonuniform automata over groups;David;Information and Computation,1990

4. A Dichotomy Theorem for Nonuniform CSPs

5. Andrei Bulatov On the number of finite Mal'tsev algebras Contributions to general algebra 13(2000) 41--54. Andrei Bulatov On the number of finite Mal'tsev algebras Contributions to general algebra 13(2000) 41--54.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Complexity of Modular Circuits;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02

2. Equation Satisfiability in Solvable Groups;Theory of Computing Systems;2022-07-04

3. CC-circuits and the expressive power of nilpotent algebras;Logical Methods in Computer Science;2022-05-26

4. Satisfiability in MultiValued Circuits;SIAM Journal on Computing;2022-05-05

5. Algebras from congruences;Algebra universalis;2021-09-07