scientific article; zbMATH DE number 2157028

zbMATH Open1063.68059MaRDI QIDQ4669592FDOQ4669592

Authors: Fengren Yu, Haiming Qiu 

Publication date: 15 April 2005

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

Recommendations

• A complexity analysis of the SAT problem
• A numerical approach to 3-SAT
• A simplified NP-complete satisfiability problem
• The complexity of satisfiability problems
• scientific article; zbMATH DE number 4039349

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Cited In (7)

• A sufficient condition for Morgan's problem
• SAT problems with chains of dependent variables
• Some variants of SAT and their properties
• A complexity analysis of the SAT problem
• A numerical approach to 3-SAT
• An algorithm for approximating the satisfiability problem of high-level conditions
• Title not available (Why is that?)

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