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.针对最小不可满足子式的求解问题,提出并证明了布尔公式最小不可满足性与极大可满足性之间的关系。

  • 其他单词翻译

    英文单词 中文含义
    bilked

    v. 蒙骗( bilk的过去式和过去分词 )

    网络解释

    诈骗; 蒙骗; 挫败

    bilith

    n. (bilithon)双石纪念碑

    bilirakis

    n.比利拉基斯

    网络解释

    众议员比尔拉克斯; 众议员比利亚杰斯

    billet-doux

    n.情书

    billboard

    n. 广告牌;告示牌

    v. 宣传

    网络解释

    公告牌; 告示牌; 美国告示牌

    bilker

    n.骗子

    bility

    古?克二氏预测系数

    网络解释

    表示动作; 可收回程度; 其它负债

    bilirubin

    n. 胆红素

    网络解释

    胆色素; 血清胆红素; 中胆红素

    billeted

    v. 给(部队)安排住处( billet的过去式和过去分词 )

    网络解释

    方钢; 钢方坯; 坯锭

    billboarded

    v. 宣传(billboard的过去式与过去分词形式)

    网络解释

    是什么意思及音标; 公告板

    bilking

    v. 蒙骗( bilk的现在分词 )

    网络解释

    诈骗; 蒙骗; 欺骗

    bilirubinate

    胆红素盐

    biliuria

    n.胆汁尿

    网络解释

    胆汗尿

    billeteer

    n.钢坯剥皮机;粗加工机床

    网络解释

    钢坯剥皮机; 粗加工机床

    billboarding

    v. 宣传(billboard的现在分词形式)

    网络解释

    公告板; 公告板技术; 布告板

    bilks

    v. 蒙骗( bilk的第三人称单数 )

    网络解释

    诈骗; 蒙骗; 欺骗

    bilirubinemia

    [内科]胆红素血症

    [内科]胆红素血

    网络解释

    胆红素血症; 高胆红质素症; 高胆红素

    biliverdin

    n. 胆绿素

    网络解释

    胆绿质; 胆綠素; 胆绿质色素

    billeting

    v. 给(部队)安排住处( billet的现在分词 )

    网络解释

    军队安排宿营

    billboards

    n. 〈主美〉广告牌( billboard的名词复数 )

    网络解释

    户外看板; 广告看板; 广告牌类