Solving SAT problems by orthogonal method

MaRDI QIDQ3402674zbMATH OpenFDO

Authors Minge Jing, Gengsheng Chen, Changhong Zhao, P.-S. Tang, Dian Zhou

Publication date 12 February 2010

zbMATH Keywords

NP-complete problemSAT problemKarnaughorthogonal clause

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 27687
• scientific article; zbMATH DE number 27704
• A dual algorithm for the satisfiability problem
• Solving SAT Problem Based on Hybrid Differential Evolution Algorithm
• Solving SAT by algorithm transform of Wu's method

Cited in

(5)

• scientific article; zbMATH DE number 2065279 (Why is no real title available?)
• Quasiphysical and quasisociological algorithm Solar for solving SAT problem
• SAT as a programming environment for linear algebra
• scientific article; zbMATH DE number 5605058 (Why is no real title available?)
• Solving SAT by algorithm transform of Wu's method

This page was built for publication: Solving SAT problems by orthogonal method

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