Author:
Bacchus Fahiem,Walsh Toby
Publisher
Springer Berlin Heidelberg
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Inverse Design of Self-Folding 3D Shells;Physical Review Letters;2024-03-12
2. Lower Bound Techniques for QBF Expansion;Theory of Computing Systems;2019-08-05
3. Redundancy checking algorithms based on parallel novel extension rule;Journal of Experimental & Theoretical Artificial Intelligence;2016-07-26
4. Dynamically Partitioning for Solving QBF;Theory and Applications of Satisfiability Testing – SAT 2007