您要查找的是不是:
- The algorithm uses several methods to reduce the space of the SAT reasoning first, those methods are AND/INVERTER graph transformation, BDD propagation and implication learning, CNF-based SAT solver zChaff is used to solve the verification task. 算法是在联接电路(Miter circuit)中进行推理来简化验证问题,推理中使用了"与/非"图结构简化、BDD扩展、隐含学习多种方法,最后 使用有效SAT解算器zChaff解决验证任务。
- A NOTE ON GRAPH TRANSFORMATIONS AND ANGLES 关于图角与图变换的注记
- Graph Transformation from Window to Viewport 窗口到视口的直观匹配变换
- hierarchical graph transformation 层次图变换
- An electrically produced graph or tracing. 电示图以电制作的图表或映描图
- A fresh coat of paint can transform a room. 房间重新粉刷一遍可大为改观。
- The graph shows a bulge in the price of meat. 图表显示肉类价格上涨。
- A line representing data on a graph. 曲线在图表上代表数据的一条线
- The graph flattens out gradually after a steep fall. 图表上的曲线突降之後逐渐趋於平稳。
- The box that appears below a graph, identifying the fields of the graph. 出现在图下部的说明,用以标识图的各区域。
- Our soundings are displayed in the form of a graph. 我们的调查结果已用图表列出.
- To transform a metal into a mineral by oxidation. 使矿化通过氧化使金属转化为一种无机物
- The graph traced by an oscillograph. 示波图用示波器画出的图
- Water can transform a desert into a garden. 水能把一片不毛之地变成一座花园。
- The graph K1 is hence nonplanar. 于是,图K1是非平面的。
- Heat can transform water into steam. 热能使水变为蒸汽。
- A little paint will transform this old car. 喷点漆就能让这辆旧车变个模样。
- Graph the three major types of cost functions. 三种主要类型价值函数的曲线图。
- Graph paper is drawn with a series of small square. 座表纸是用一系列小方格绘制而成的。
- We must transform passivity into initiative. 我们变被动为主动。