Derandomizing the HSSW algorithm for 3-SAT

DOI10.1007/S00453-012-9741-4MaRDI QIDQ6826447zbMATH OpenFDO

Authors Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto

Publication date 11 November 2013

Published in Algorithmica (Search for Journal in Brave)

zbMATH Keywords

derandomizationdeterministic algorithm3-SAT

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Randomized algorithms (68W20) Analysis of algorithms (68W40)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6826447)