Author:
Baumer Sven,Schuler Rainer
Publisher
Springer Berlin Heidelberg
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Improvement of the Biased-PPSZ Algorithm for the 3SAT Problem;IEICE Transactions on Information and Systems;2022-03-01
2. PPSZ is better than you think;2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS);2022-02
3. Exact Algorithms for k SAT Based on Local Search;Encyclopedia of Algorithms;2016
4. Exact Algorithms for kSAT Based on Local Search;Encyclopedia of Algorithms;2015
5. Derandomizing HSSW Algorithm for 3-SAT;Lecture Notes in Computer Science;2011