unsatisfiability

中文翻译

[计] 不可满足性

学习工具