Subject
General Computer Science,Theoretical Computer Science
Cited by
560 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On small-depth Frege proofs for PHP;2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS);2023-11-06
2. MaxSAT resolution for regular propositional logic;International Journal of Approximate Reasoning;2023-11
3. Are hitting formulas hard for resolution?;Discrete Applied Mathematics;2023-10
4. IntSat: integer linear programming by conflict-driven constraint learning;Optimization Methods and Software;2023-09-27
5. Lower Bounds for QCDCL via Formula Gauge;Journal of Automated Reasoning;2023-09-27