Author:
Umans C.,Villa T.,Sangiovanni-Vincentelli A.L.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
69 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Representing states in iterated belief revision;Artificial Intelligence;2024-11
2. Matroid Horn functions;Journal of Combinatorial Theory, Series A;2024-04
3. Feature causality;Journal of Systems and Software;2024-03
4. SAT Reduces to the Minimum Circuit Size Problem with a Random Oracle;2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS);2023-11-06
5. Partially unate Boolean functions: Properties of their sum-of-products representations;Discrete Applied Mathematics;2023-10