Publisher
Springer Berlin Heidelberg
Cited by
232 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Constant Depth Circuit Complexity for Generating Quasigroups;Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation;2024-07-16
2. Self-Improvement for Circuit-Analysis Problems;Proceedings of the 56th Annual ACM Symposium on Theory of Computing;2024-06-10
3. Deep deductive reasoning is a hard deep learning problem;Neurosymbolic Artificial Intelligence;2024-05-28
4. Models for Test Cost Minimization in Database Migration;INFORMS Journal on Computing;2024-05-21
5. Logical characterizations of algebraic circuit classes over integral domains;Mathematical Structures in Computer Science;2024-05-13