理论计算机科学 可计算性与计算复杂性 释文 satisfiability problem, SAT 可满足性问题
- Dafo Temple
- Dafo Temple cliffside images at Tongnan
- Dafudun Mound Tomb at Danyang
- DAG
- Dagang Bao
- Dagang Jiedao
- Dagangshan Hydropower Station
- DAGC
- dage
- Dageming Xiezhenhua
- Dagestan， Respublika
- Dagger Society
- D. A. Glaser
- Dagohoy Rebellion
- Dagomari
- Dagong irrigation district
- Dagongshan-Fenghuangshan Copper Mine Site
- Dagon Khin Khin Lay
- Dagon Taryar
- Daguanchalun
- Daguangba Hydro-Junction
- daguangbao landslide, anxian, sichuan province
- Daguangba Shuiku
- Daguan Park in Kunming
- Daguan Qu