＞运筹学＞组合优化＞释义 satisfiability problem 可满足问题 satisfiability problem 可满足性问题
理论计算机科学 可计算性与计算复杂性 释文 satisfiability problem, SAT 可满足性问题
- aristolochic acid nephropathy，AAN
- Aristophanes
- aristostigment
- Aristoteles
- Aristoteles crater
- Aristotelian logic
- Aristotle
- Aristotle's ethical thoughts
- Aristotle's Syllogistic from the standpoint of Modern Formal Logic
- Aristotle's view on government
- Aristotle syllogistics
- Aristotle wheel paradox
- Aristotle, 公元前384—322
- Aristotle (公元前384—前322)
- Aristoxenus
- Aritayaki
- arithmetic
- Arithmetica Infinitorum
- arithmetical
- Arithmetical Classic of the Gnomon and the Circular Paths of the Heaven
- arithmetic algebra
- arithmetic algebraic geometry
- arithmetical hierarchy
- arithmetically effective curve
- arithmetically equivalent