satisfiabilty
可满足性
热门查询
- bopper n. 早期爵士乐音乐家
- unannounced adj. 突然的；未经宣布的；未通知的
- suspended adj. 悬浮的；暂停的，缓期的（宣判）
- eminently adv. 突出地；显著地
- frontal n. 额骨，额部；房屋的正面 adj. 额的；正面的，前面的 n. (Frontal)人名；(西)弗朗塔尔
- heartless adj. 无情的；无勇气的
- unequaled adj. 无与伦比的；无敌的
- attest vt. 证明；证实；为…作证 vi. 证明；作证
- recuperation n. 恢复；复原
- chessboard n. 棋盘
- soar n. 高飞；高涨 vi. 高飞；高耸；往上飞舞 n. (Soar)人名；(英、葡)索尔
- avc abbr. average variable cost 平均可变成本
- caning n. 鞭打 v. 用笞杖（或荆条等）打（cane的ing形式）
- anointing n. 受膏 v. 涂；擦（anoint的ing形式）
- obnoxiously adv. 可憎地；惹人讨厌地
- nerve n. 神经；勇气；[植] 叶脉 vt. 鼓起勇气
- fueled v. 加燃料（fuel的过去分词）
- wounding n. 伤害 v. 伤害；使受创伤（wound的现在分词） adj. 伤人感情的
- unclench vt. 撬开 vi. 松开
- chukar n. 石鸡（原产于欧洲）
考试词汇表
- Generalized multiple sclerosis
- Genetic Mutant Cell Repository
- Genetic Predisposition Testing
- Genetically Modified Organisms
- Gentamicin acetyltransferase 1
- Gentamicin and Fluorometholone
- Gentianopsis paludosa(Munro)Ma
- George Percy Aldridge Grainger
- Germ cell alkaline phosphatase
- Germany,Democratic Republic of
- Gerontological Research Center
- Gerstmann-Straussler-Scheinker
- Ghost of Christmas Yet to Come
- Giaco Letto equivalent circuit
- Giant Papillary Conjunctivitis
- Giant cell tumor of soft parts
- Gibbon Mayo heart lung machine
- Gibbon Mayo heart lung machnic
- Gibbon ape lymphosarcoma virus
- Gibbon-Mayo heart-lung machine
