Solving SAT problems by orthogonal method

zbMATH Open1199.68350MaRDI QIDQ3402674FDOQ3402674

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

Publication date: 12 February 2010

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

zbMATH Keywords

NP-complete problemSAT problemKarnaughorthogonal clause

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• Quasiphysical and quasisociological algorithm Solar for solving SAT problem
• SAT as a programming environment for linear algebra
• Title not available (Why is that?)
• 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)