satisfiabilty
可满足性
热门查询
- fascinated v. 使着迷；使陶醉（fascinate的过去分词） adj. 着迷的；被深深吸引的
- depart adj. 逝世的 vi. 离开；出发，起程；违反；去世
- chipotle n. 干红辣椒，烟味辣椒，墨西哥风味快速便餐
- crystallography n. [晶体] 结晶学
- overrule vt. 否决；统治；对…施加影响
- dipsomania n. 饮酒狂
- Cathal n. (Cathal)人名；(法)卡塔尔
- southey n. 骚塞（姓氏）
- supervision n. 监督，管理
- Cheshire n. 柴郡（英国一郡名）
- carpenter n. 木匠，木工 vt. 制作 vi. 当木匠，做木匠工作 n. (Carpenter)人名；(英、葡、法)卡彭特
- stock n. 股份，股票；库存；血统；树干；家畜 adj. 存货的，常备的；平凡的 vt. 进货；备有；装把手于… vi. 囤积；办货；出新芽 n. (Stock)人名；(德、匈、捷)施托克；(英、法、葡、瑞典)斯托克
- remotely adv. 遥远地；偏僻地；（程度）极微地，极轻地
- freedman n. 自由民；被解放的奴隶 n. (Freedman)人名；(法、德)弗雷德曼；(英)弗里德曼
- Marwick [人名] [苏格兰人姓氏] 马威克住所名称，来源于古诺斯语，含义是“海，湖，沼泽+湾”(sea,lake,marsh+bay)
- perfecting v. 使…完美；使…熟练（perfect的ing形式） adj. 完美的；理想的
- VC abbr. 大学副校长（Vice-Chancellor）；副主席（Vice Chairman）；维多利亚十字勋章（Victoria Cross）；风险投资（venture capital）
- escalator n. （美）自动扶梯；电动扶梯
- vibe n. 气氛，氛围 n. (Vibe)人名；(挪)维伯
- orchestral adj. 管弦乐的；管弦乐队的
