Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Graph-Based Deep Decomposition for Overlapping Large-Scale Optimization Problems;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2023-04
2. Verified Textbook Algorithms;Automated Technology for Verification and Analysis;2020
3. Hybrid realizability for intuitionistic and classical choice;Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science;2016-07-05
4. Extracting a DPLL Algorithm;Electronic Notes in Theoretical Computer Science;2012-09
5. The metamathematics of ergodic theory;Annals of Pure and Applied Logic;2009-02