Q-unsatisfiability
Q不可满足性
热门查询
- Harford [人名] [英格兰人姓氏] 哈福德住所名称，来源于古英语，含义是“公鹿+津渡”(hart+ford); [地名] [英国] 哈福德
- pleased adj. 高兴的；喜欢的；乐意做某事 v. 满意；愿意（please的过去分词形式）
- shapiro n. 夏皮罗（姓氏）
- Ossetia 奥塞梯[苏联高加索一地区]
- show-off n. 爱炫耀的人；爱卖弄的人
- dastard n. 懦夫；卑鄙的人 adj. 怯懦的；卑劣的
- che abbr. 胆碱酯酶（等于cholinesterase）；化学（等于Chemical）；充电指示灯 n. (Che)人名；(中)锗(广东话·威妥玛)；(越)制；(柬)则
- chiropractor n. 脊椎指压治疗者；脊椎按摩师
- rectangular adj. 矩形的；成直角的
- synergy n. 协同；协同作用；增效
- manslaughter n. 杀人；过失杀人；一般杀人罪
- Vermont n. 佛蒙特州（美国州名，略作VT）
- headlong adj. 轻率的；头向前的；匆促而用力的 adv. 头向前地；猛然用力地
- specialized adj. 专业的；专门的 v. 专攻（specialize的过去分词）；使…专门化；详细说明
- tranquility n. 宁静；平静
- Rochelle n. 罗谢尔(f.)
- proceedings n. 诉讼；行动（proceeding的复数形式）；会议记录；议程
- facile adj. （言语或理论）轻率的，未经深思熟虑的 adj. 温和的；灵巧的；易做到的
- motherfucking adj. 不要脸的；讨厌的；混帐的
- unmitigated adj. 全然的；严厉的；未缓和的
