scientific article; zbMATH DE number 5669760

zbMATH Open1199.68350MaRDI QIDQ3402674FDOQ3402674

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

Publication date: 12 February 2010

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

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 (4)

• Title not available (Why is that?)
• Quasiphysical and quasisociological algorithm Solar for solving SAT problem
• Title not available (Why is that?)
• Solving SAT by algorithm transform of Wu's method

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