Derandomizing the HSSW algorithm for 3-SAT

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

zbMATH Keywords

derandomization; deterministic algorithm; 3-SAT

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68W40: Analysis of algorithms

68W20: Randomized algorithms