布尔可满足性问题研究综述

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