文章基本信息
- 标题：An improvement of the algorithm of Hertli for the unique 3SAT problem
- 本地全文：下载
- 作者：Tong Qin ; Osamu Watanabe
- 期刊名称：Electronic Colloquium on Computational Complexity
- 印刷版ISSN：1433-8092
- 出版年度：2017
- 卷号：2017
- 出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
- 摘要：We propose a simple idea for improving the randomized algorithm of Hertli for the Unique 3SAT problem
