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

  • 其他单词翻译

    英文单词 中文含义
    bituminizes

    v. 加沥青处理(bituminize的第三人称单数形式)

    网络解释

    加沥青处理; 沥青化; 以沥青加处理

    bitunicate

    adj.双囊壁的;双囊臂组群的

    网络解释

    双壁子囊; 分贝计; 子囊具双膜

    bitty

    adj. 片断的,细短的,支离破碎的

    网络解释

    片断的; 微小的; 细短的

    bitumenizing

    涂沥青

    网络解释

    涂沥青

    bittiest

    adj.片断的,零碎的;细短的(bitty的变形)

    网络解释

    片断的; 支离破碎的; 微小的

    bituminizing

    v. 加沥青处理( bituminize的现在分词 )

    网络解释

    沥青浸渍

    bitusol

    天然沥青

    网络解释

    天然沥青

    bituberculate

    adj.具二疣的

    bitumenoid

    adj.像沥青的

    =bituminoid.

    网络解释

    沥青样的

    bittiness

    起块

    网络解释

    起粒

    bituminoid

    adj.似沥青的

    bitwise

    adj.(计算机)逐位,按位

    网络解释

    按位; 位元; 逐位

    bitulith

    n.沥青混凝土

    bitting

    v. 系于缆柱( bitt的现在分词 );配钥匙

    网络解释

    布幅加宽; 位块传送

    bitumination

    n.沥青固化

    bituminosis

    n.沥青末沉着病

    biunique

    adj. 一(对) 一的,单向双系列对应的;一对一

    网络解释

    互为单值; 一一对应

    bitulithic

    adj.沥青混凝土的

    bittle

    比特(人名)

    bituminiferous

    adj.含沥青的;沥青质的