Some variants of SAT and their properties

MaRDI QIDQ1425331zbMATH OpenFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 2089957
• The complexity of satisfiability problems
• scientific article; zbMATH DE number 2157028
• A complexity analysis of the SAT problem
• Some structural properties of SAT

Cited in

(4)

• scientific article; zbMATH DE number 2089957 (Why is no real title available?)
• 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)