Affiliation:
1. Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, Urbana, IL
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Cited by
103 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Frege Systems for Quantified Boolean Logic;Journal of the ACM;2020-05-09
2. Upper bounds on the multiplicative complexity of symmetric Boolean functions;Cryptography and Communications;2019-08-17
3. Lower Bounds;Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science;2016-01-14
4. Fast Pseudorandom Functions Based on Expander Graphs;Theory of Cryptography;2016
5. SAT and MaxSAT Encodings for Trees Applied to the Steiner Tree Problem;2014 Brazilian Conference on Intelligent Systems;2014-10