可满足性（英语：Satisfiability）是用来解决给定的真值方程式，是否存在一组变量赋值，使问题为可满足。布尔可满足性问题（Boolean satisfiability problem；SAT ）属于决定性问题，也是第一个被证明属于NP完全的问题。此问题在电脑科学上许多的领域皆相当重要，包括电脑科学基础理论、演算法、人工智慧、硬体设计等等。
外部连结.SAT Solvers:Conferences/Publications:Benchmarks:SAT sol