scientific article; zbMATH DE number 1113997

zbMATH Open0896.68070MaRDI QIDQ4375762FDOQ4375762

Authors: K. Takaki, Kazuo Iwama 

Publication date: 1 October 1998

Title of this publication is not available (Why is that?)

Recommendations

• On the satisfiability threshold of formulas with three literals per clause
• Satisfiability of acyclic and almost acyclic CNF formulas
• Satisfiability of acyclic and almost acyclic CNF formulas
• scientific article; zbMATH DE number 437557
• scientific article; zbMATH DE number 1954174
• The complexity of constraint satisfaction problems for small relation algebras
• Computational complexity of some restricted instances of 3-SAT
• A Note on Unsatisfiable k-CNF Formulas with Few Occurrences per Variable
• Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics
• The Existence of Unsatisfiable Formulas in k-LCNF for k ≥ 3

zbMATH Keywords

3CNF formulas

Mathematics Subject Classification ID

Discrete mathematics in relation to computer science (68R99) Parallel algorithms in computer science (68W10)

Cited In (4)

• Planar 3-SAT with a clause/variable cycle
• Partial Satisfaction of k-Satisfiable Formulas
• Computational complexity of some restricted instances of 3-SAT
• On the parameterized complexity of \((k,s)\)-SAT

This page was built for publication:

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