Some variants of SAT and their properties

zbMath1070.68053MaRDI QIDQ1425331

Yunlei Zhao, Hong Zhu

Publication date: 16 March 2004

Published in: Progress in Natural Science (Search for Journal in Brave)

zbMATH Keywords

exponential-time hpothesisKarp-reduction

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

This page was built for publication: Some variants of SAT and their properties