Some variants of SAT and their properties

zbMATH Open1070.68053MaRDI QIDQ1425331FDOQ1425331

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)

Cited In (3)

• SAT problems with chains of dependent variables
• Concerning existential definition of the class \(NP\): Theoretical analysis of an alternative approach
• Some structural properties of SAT

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

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