使用与满足传播理论
The Uses and Satisfaction Communication Theory
变量极小不可满足
variable minimal unsatisfiability
不满足解数
the number of unsatisfiable solutions
不满足向前引用
unsatisfied forward reference
布尔可满足问题
750 kV project
boolean satisfaction problem
Boolean satisfiability problem