布尔可满足性问题
可满足性（英语：Satisfiability）是用来解决给定的真值方程序，是否存在一组变量赋值，使问题为可满足。布尔可满足性问题（Boolean satisfiability problem；SAT ）属于决定性问题，也是第一个被证明属于NP完全的问题。此问题在计算机科学上许多的领域皆相当重要，包括计算机科学基础理论、算法、人工智能、硬件设计等等。
直观描述
- 对于一个确定的逻辑电路，是否存在一种输入使得输出为真。
外部链接
SAT Solvers:
Conferences/Publications:
- SAT 2007: Tenth International Conference on Theory and Applications of Satisfiability Testing （页面存档备份，存于）
- Journal on Satisfiability, Boolean Modeling and Computation
- Survey Propagation
Benchmarks:
- Forced Satisfiable SAT Benchmarks （页面存档备份，存于）
- IBM Formal Verification SAT Benchmarks
- SATLIB （页面存档备份，存于）
- Software Verification Benchmarks （页面存档备份，存于）
SAT solving in general:
- http://www.satlive.org （页面存档备份，存于）
- http://www.satisfiability.org （页面存档备份，存于）
- Sat4j （页面存档备份，存于）
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.
