Author:
Gupta Aarti,Ganai Malay K.,Wang Chao
Publisher
Springer Berlin Heidelberg
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Polynomial Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures;2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL);2024-05-28
2. Polynomial Formal Verification exploiting Constant Cutwidth;Proceedings of the 34th International Workshop on Rapid System Prototyping;2023-09-21
3. A Class of Polynomially Verifiable Circuits of Logarithmic Depth;2023 13th International Conference on Cloud Computing, Data Science & Engineering (Confluence);2023-01-19
4. A Linear Weight Transfer Rule for Local Search;Lecture Notes in Computer Science;2023
5. On CDCL-Based Proof Systems with the Ordered Decision Strategy;SIAM Journal on Computing;2022-08