摘要：布尔可满足性（简称SAT）问题是研究最广泛的NP-完全（简称NPC）问题之一。编码、预处理和求解算法是SAT问题求解的3个关键技术,近年来涌现了大量成果。SAT问题广泛应用在生产和生活中,SAT求解技术的健壮性和综合性能迫切需要进一步提升。从SAT问题分类、SAT问题应用领域、研究现状及面临的挑战等方面对相关研究成果进行梳理。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社