Solving SAT problem by heuristic polarity decision-making algorithm
From MaRDI portal
Publication:2465749
DOI10.1007/s11432-007-0070-1zbMath1142.68514OpenAlexW2046007623MaRDI QIDQ2465749
Hua Zhang, Pushan Tang, Minge Jing, Xiaofang Zhou, Dian Zhou
Publication date: 7 January 2008
Published in: Science in China. Series F (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11432-007-0070-1
Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
Uses Software
Cites Work