Derandomizing the HSSW algorithm for 3-SAT
From MaRDI portal
DOI10.1007/s00453-012-9741-4zbMath1277.68097arXiv1102.3766MaRDI QIDQ378221
Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto
Publication date: 11 November 2013
Published in: Algorithmica, Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1102.3766
68Q25: Analysis of algorithms and problem complexity
68W40: Analysis of algorithms
68W20: Randomized algorithms