＞运筹学＞组合优化＞释义 satisfiability problem 可满足问题 satisfiability problem 可满足性问题
理论计算机科学 可计算性与计算复杂性 释文 satisfiability problem, SAT 可满足性问题
- State Education Law 1953
- state equation
- state equation of atmosphere
- state equation of dielectric
- state equation of gas
- state equation of paramagnetic salt
- state equation of quantum ideal gas
- state equation of solid
- state equation of stretched wire
- state equation of superconductor
- state equation of surface system
- state equation parameter mixing rule
- state equation parameters
- state estimation
- state estimation fault diagnosis method
- state estimation of decentralized systems
- state estimator
- State Examination
- state exchange
- state exclusively funded enterprises in China
- state explosion
- state farm
- state farms group oriented and enterprise oriented reform
- state farms in the Western Regions
- state feedback