Author:
Aloul Fadi A.,Markov Igor L.,Sakallah Karem A.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Investigating the Existence of Holey Latin Squares via Satisfiability Testing;PRICAI 2023: Trends in Artificial Intelligence;2023-11-10
2. New Techniques for Static Symmetry Breaking in Many-Sorted Finite Model Finding;IEEE Transactions on Software Engineering;2023
3. The Resolution of Keller’s Conjecture;Journal of Automated Reasoning;2022-05-06
4. Modeling techniques for logic locking;Proceedings of the 39th International Conference on Computer-Aided Design;2020-11-02
5. The Resolution of Keller’s Conjecture;Automated Reasoning;2020