E-unsatisfiability

E不可满足性

热门查询

sympatric　　adj. [生态] 同域的，在同一地区生存的；（生态）[生态] 分布区重叠的
oregano　　n. 牛至
winnipeg　　n. 温尼伯（加拿大城市）
Bohemia　　n. 波希米亚
griot　　n. (Griot)人名；(法)格里奥格里奥（一种职业名称）
trailerable　　a. <美><加拿大><澳><小艇>可放在拖车上载运的
import　　n. 进口，进口货；输入；意思，含义；重要性 vt. 输入，进口；含…的意思 vi. 输入，进口
full-bodied　　adj. 浓郁的；醇厚的；魁梧的；躯体大的
withdraw　　vt. 撤退；收回；撤消；拉开 vi. 撤退；离开
woodstock　　n. 伍德斯托克音乐节（每年8月在纽约州东南部Woodstock举行的摇滚音乐节）
Breckenridge　　[人名] [英格兰人姓氏] 布雷肯里奇 Brackenridge的变体; [地名] [美国] 布雷肯里奇
illuminating　　adj. 照亮的，照明的；启蒙的，有启发性的 v. 照明，阐释（illuminate的现在分词形式）
joblessness　　n. 失业；无活可干（jobless的名词形式）
Axa　　安盛公司总部所在地：法国主要业务：保险
probate　　n. 遗嘱检验；经认证的遗嘱；遗嘱认证法院管辖范围内的一切事项 adj. [法] 遗嘱认证的 vt. [法] 遗嘱认证；处以缓刑；加以监护；在遗嘱认证法庭证明…精神失常
Dartmoor　　(英国 Devon 郡的)达特姆尔高原
inspire　　vt. 激发；鼓舞；启示；产生；使生灵感
antihypertensive　　n. 降压药 adj. 抗高血压的
semester　　n. 学期；半年
unpleasantness　　n. 不愉快；不愉快的事，煞风景的事