理论计算机科学 可计算性与计算复杂性 释文 3-satisfiability problem, 3SAT 三元可满足性问题
- KdV equation KdV
- KdV equation; Korteweg-de Vries equation
- KdV hierarchy
- KdV-like equation
- KdV分层
- KdV方程
- KdV类方程
- K dwarf
- KD树
- Ke
- Keate Award
- Keating-Owen Act
- Kebaran Culture
- Kebbi State
- Kebby Sililo Musokotwane
- kecak
- Kechai tax
- Kecheng Qu
- Keckermann
- Keck Interferometer
- Keck telescope
- Keck Ⅰ Telescope
- Keck Ⅱ Telescope
- K_e-codimension
- Ke-codimension