理论计算机科学 可计算性与计算复杂性 释文 satisfiability problem, SAT 可满足性问题
- long-term strength
- long-term strength of rock mass
- long-term synaptic plasticity
- long-term toxicity
- long-term trend analysis
- long-term trial
- long-term variations of earth rotation rate
- long-throated flume
- long-time behavior of solutions
- long time exposure
- long time power frequency withstand voltage test
- long time tail
- Longting Qu
- Long Tongzhen
- Longtousanxian
- long trades
- long transaction
- long tube effect
- long tune
- Longtuowan rock sculptures
- Long tuqizhi
- longue durée
- Longuet-Higgins
- Longuet-Higgins circle
- Longuet-Higgins point