好单词

subformula

美：[sʌb´fɔːmjʊlə]   英：[sʌb´fɔːmjʊlə]

中文翻译

n.子公式

网络解释

子公式

英文短语

  • 1.Bonding subformula 键子式
  • 2.unsatisfiable subformula 不可满足子式
  • 3.maximal satisfiable subformula 极大可满足子式
  • 4.minimum unsatisfiable subformula 最小不可满足子式
  • 5.minimal unsatisfiable subformula 极小不可满足子公式

    • 英文例句

  • 1.Based on the relationship, a compounded greedy genetic algorithm and an ant colony algorithm are proposed to derive a minimum unsatisfiable subformula.针对最小不可满足子式的求解问题，提出并证明了布尔公式最小不可满足性与极大可满足性之间的关系。


    • 其他单词翻译

    英文单词 中文含义
    Ella

    n. 埃拉(f.)

    网络解释

    陈嘉桦; 官恩娜; 艾拉
    Elizabethtown

    伊丽莎白镇（美国地名）

    网络解释

    伊丽莎白镇; 伊莉莎白小镇; 伊丽莎白敦
    Ellie

    n. 埃莉(Eleanor, Helen的昵称)(f.)

    网络解释

    艾莉; 艾丽; 埃莉
    Elland

    n.（Elland）人名；（英）埃兰

    网络解释

    夜隐; 埃兰
    Elkaloy

    n.埃尔卡洛伊铜合金焊条
    Ellig

    [人名] 埃利希

    网络解释

    埃利戈
    Ellas

    [地名] [欧罗巴洲] 希腊

    网络解释

    他们; 圣筊的黑辣斯; 艾勒士
    Elkan

    [人名] 埃尔肯

    网络解释

    埃尔坎; 他属于上帝; 爱尔肯
    Ellin

    [人名] [英格兰人姓氏] 埃林 Ellen的变体

    网络解释

    艾琳; 艾林; 果
    Elledge

    [人名] 埃利奇
    Elkhart

    n.埃尔克哈特（位于美国印第安纳州北部城市）

    网络解释

    埃尔克哈特; 埃尔德哈特; 印第安纳州埃尔克哈特
    Elling

    [人名] 埃林；[地名] [丹麦] 埃灵；[电影]他傻瓜谁聪明

    网络解释

    他傻瓜谁聪明; 我和我的朋友; 艾林
    Ellen

    n. 埃伦（女子名）

    网络解释

    艾伦; 陈雅伦; 爱伦
    Elkington

    n.（Elkington）人名；（英）埃尔金顿

    网络解释

    金顿
    Ellington

    即Ellington,Duke

    网络解释

    埃灵顿; 艾灵顿; 艾灵顿空军基地
    Ellensburg

    [地名] [美国] 埃伦斯堡

    网络解释

    艾伦斯堡; 华盛顿州艾伦斯堡; 九月二日华盛顿州艾伦斯堡
    Elko

    [人名] 埃尔科；[地名] [加拿大、美国] 埃尔科

    网络解释

    埃尔科; 埃尔克; 艾尔克
    Elliot

    [人名] [英格兰人、苏格兰人姓氏] 埃利奥特 Elliott的变体；[地名] [澳大利亚、南非共和国] 埃利奥特

    网络解释

    埃利奥特; 艾略特; 义律
    Eller

    [人名] 埃勒；[地名] [马绍尔群岛（法）] 埃勒岛

    网络解释

    亚利桑那大学; 埃勒; 亚利桑那大学艾勒管理学院
    Elkonit

    n.艾尔柯尼特钨铜合金；艾尔柯尼特合金

    网络解释

    艾尔柯尼特合金