Derandomizing the HSSW algorithm for 3-SAT

From MaRDI portal
Publication:378221

DOI10.1007/s00453-012-9741-4zbMath1277.68097arXiv1102.3766OpenAlexW1965847460MaRDI QIDQ378221

Masaki Yamamoto, Kazuhisa Makino, Suguru Tamaki

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




Related Items (6)



Cites Work


This page was built for publication: Derandomizing the HSSW algorithm for 3-SAT