Author:
Hofmeister Thomas,Schöning Uwe,Schuler Rainer,Watanabe Osamu
Publisher
Springer Berlin Heidelberg
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. PPSZ is better than you think;2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS);2022-02
2. Solving and Sampling with Many Solutions;Algorithmica;2019-12-23
3. Backtracking Based k-SAT Algorithms;Encyclopedia of Algorithms;2016
4. Exact Algorithms for k SAT Based on Local Search;Encyclopedia of Algorithms;2016
5. Backtracking Based k-SAT Algorithms;Encyclopedia of Algorithms;2015