problem of satisfiability 可满足性问题 satisfiability problem 可满足性问题
理论计算机科学 可计算性与计算复杂性 释文 satisfiability problem, SAT 可满足性问题
- benzyl chloromethyl ether
- benzyl group
- benzylic
- benzylic cation
- benzylic intermediate
- benzyl mercaptan
- benzyl mercaptan; toluenethiol
- benzylphenethyl amine alkaloid
- benzylphenethylamine alkaloid
- benzylsuccinate synthase
- benzyltetrahydroisoquinoline alkaloid
- benzyne
- Beon Hee-geun
- Beowulf
- BepiColombo
- Bepicolombo
- Beppe Fenoglio
- BeppoSAX
- Beppu
- be punished as a relative, etc of the offender
- B-equivalence
- BER
- ber
- Berat
- Berbera