RTL hybrid satisfiability solving methods are classified into two categories:One is based on SMT(Satisfiability Modulo Theories),and the other is based on circuit structure searching.
RTL混合可满足性求解方法分为基于可满足性模理论(SMT)和基于电路结构搜索两大类。
Two heuristic strategies for solving satisfiability (SAT) problem were presented.
提出了两个用于求解可满足性 (SAT)问题的启发式策略。
The key reasoning tasks of the semantic Web can be reduced to deciding the satisfiability of formulas.
语义网的关键推理问题可以化为公式的可满足性判定问题。
Reconstructing thumb or finger with the great toe fibular skin flap embedded in the second toe metatarsal side
拇趾腓侧皮瓣嵌入第二足趾跖侧再造拇、手指
PERIOPERATIVE NURSING OF 58 CASES OF RECONSTRUCTING THUMB WITH THE GREAT TOE FIBULAR SKIN FLAP EMBEDDED IN THE SECOND TOE METATARSAL SIDE
58例拇趾腓侧皮瓣嵌入第二足趾改型再造拇指围手术期护理
PERIOPERATIVE NURSING FOR 56 CASES OF RECONSTRUCTION OF THUMB BY TRANSPLANTATION OF SECOND TOES
56例第二足趾移植再造拇指围手术期的护理
Transfer of vascularized fibular pulp flap of the big toe combined with wrap-around flap of the second toe to repair degloving Injury of the thumb and fingers
(足母)及第二趾皮瓣瓦合修复拇、手指套脱伤
Reconstruction of thumb and index finger by combined transplantation of big toe wrap-around flap and the second toe
(足母)甲瓣和第二趾联合移植再造拇示指
Thumb reconstruction with combined free hallux toe-nail flap and bone and skin flap of the 2nd toe transplantation
足拇趾甲瓣与第2趾趾骨皮瓣组合再造拇指术
Repair of degloving injuries of the fingers with second toe wrap-around flap combined with dorsal flap of the foot
带瓶样足背皮瓣的第二趾甲皮瓣修复全手指皮肤套脱伤
(of bird feet) having the first and second toes directed backward the third and fourth forward.
（指鸟类的脚）第一和第二个脚趾向后而第三、第四个脚趾向前。
(of bird feet) having the first and fourth toes directed backward the second and third forward.
（指鸟类的脚）第一和第四个脚趾向后而第二、第三个脚趾向前。
Thumb reconstruction with second toe transplantation in emergency:12 cases report
急诊游离第2足趾移植再造拇指12例
Combined bilateral toe flaps for repair of the multi-finger degloving injury at one stage
双足趾与第2趾甲皮瓣联合一期修复多手指脱套伤
Thumb reconstruction by transplanting of second toe tissue and t shape flap of big-toe fibular-side free-graft
游离足第2趾并拇趾腓侧T形皮瓣移植再造拇指
Having four feet with opposable first digits, as primates other than human beings.
四足如手的有四足和与其他脚趾相对的第一个足趾的；如除人类以外的灵长类动物
RECONSTRUCTION OF METACARPOPHALANGEAL JOINT DEFECT BY THE SECOND TOE PROXIMAL INTERPHALANGEAL JOINT WITH SKIN FLAPS
带皮瓣的第二趾近侧趾间关节移植重建手掌指关节缺损
A toe, usually the second, that is permanently flexed downward, resulting in a clawlike shape.
锤状趾一种脚趾，通常是第二趾，由于永久性向下弯曲使其呈爪子的形状
Second toe wrap-around flap with wings to repair skin avulsion of the fingers
带翼状皮瓣的第二趾甲瓣修复手指皮肤套脱伤
The wrap-round la flap with part toenail combined with the second simepulp flap for repair of total avulsion of fingers
部分?甲瓣和第二趾腹皮瓣联合修复指脱套伤
Application of Free Second Toe Flap for Repair of Finger Tendon Composite Tissue Defect
游离第二趾肌腱皮瓣修复手指复合组织缺损
