Author:
GRANDJEAN ETIENNE,BÜNING HANS KLEINE
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Top-k Learned Clauses for Modern SAT Solvers;International Journal on Artificial Intelligence Tools;2023-02
2. Parameterized Random Complexity;Theory of Computing Systems;2011-12-22
3. Lower Bounds for Kernelizations and Other Preprocessing Procedures;Theory of Computing Systems;2010-05-26
4. Lower Bounds for Kernelizations and Other Preprocessing Procedures;Mathematical Theory and Computational Practice;2009
5. k-SAT Is No Harder Than Decision-Unique-k-SAT;Computer Science - Theory and Applications;2009