problem of satisfiability 可满足性问题 satisfiability problem 可满足性问题
理论计算机科学 可计算性与计算复杂性 释文 satisfiability problem, SAT 可满足性问题
- prothetely
- prothetic group
- prothioconazole
- Prothom Alo
- prothoracic gland
- prothoracicotropic hormone
- prothorax
- prothrombin
- prothrombin time
- protic solvent
- Protista
- protistology
- protium
- protoactinium
- protoatmosphere
- protobasidium
- protoberberine alkaloid
- proto-binary
- protobitumen
- protoblem
- proto-brown-dwarf
- protocatechualdehyde
- protocatechuic acid
- Proto-Chinese and Sino-Tibertan
- protochordate