＞运筹学＞组合优化＞释义 satisfiability problem 可满足问题 satisfiability problem 可满足性问题
理论计算机科学 可计算性与计算复杂性 释文 satisfiability problem, SAT 可满足性问题
- irreducible g-nodule
- irreducible graph
- irreducible group
- irreducible ideal
- irreducible inclusion
- irreducible in the real domain
- irreducible K-module
- irreducible k-set
- irreducible lattice
- irreducible linear representation
- irreducible linear system
- irreducible manifold
- irreducible mapping
- irreducible mass
- irreducible matrix
- irreducible matrix group
- irreducible modular character
- irreducible module
- irreducible operator
- irreducible polynomial
- irreducible projective representation
- irreducible proof
- irreducible pseudoperfect number
- irreducible quadratic form
- irreducible representation