Author:
Buchfuhrer David,Umans Christopher
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference16 articles.
1. Minimizing disjunctive normal form formulas and AC0 circuits given a truth table;Allender;SIAM J. Comput.,2008
2. The pervasive reach of resource-bounded Kolmogorov complexity in computational complexity theory;Allender;J. Comput. System Sci.,2010
3. Derandomization and distinguishing complexity;Allender,2003
4. Logic Synthesis;Devadas,1994
5. Computers and Intractability: A Guide to the Theory of NP-Completeness;Garey,1979
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The ghosts of forgotten things: A study on size after forgetting;Annals of Pure and Applied Logic;2024-08
2. Qr-Hint: Actionable Hints Towards Correcting Wrong SQL Queries;Proceedings of the ACM on Management of Data;2024-05-29
3. Minimally Factorizing the Provenance of Self-join Free Conjunctive Queries;Proceedings of the ACM on Management of Data;2024-05-10
4. Invited Paper: Towards the Imagenets of ML4EDA;2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD);2023-10-28
5. Set-theoretic Types for Erlang;Proceedings of the 34th Symposium on Implementation and Application of Functional Languages;2022-08-31