您要查找的是不是：
- 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解决验证任务。
- Graph Transformation from Window to Viewport 窗口到视口的直观匹配变换
- hierarchical graph transformation 层次图变换
- A NOTE ON GRAPH TRANSFORMATIONS AND ANGLES 关于图角与图变换的注记
- An electrically produced graph or tracing. 电示图以电制作的图表或映描图
- The graph shows a bulge in the price of meat. 图表显示肉类价格上涨。
- A fresh coat of paint can transform a room. 房间重新粉刷一遍可大为改观。
- A line representing data on a graph. 曲线在图表上代表数据的一条线
- The graph flattens out gradually after a steep fall. 图表上的曲线突降之後逐渐趋於平稳。
- The transformation of that project has been finished. 那个项目的改造已经完成。
- The box that appears below a graph, identifying the fields of the graph. 出现在图下部的说明，用以标识图的各区域。
- There was a noticeable transformation in his appearance. 他的容貌有了明显的变化。
- Our soundings are displayed in the form of a graph. 我们的调查结果已用图表列出.
- The graph traced by an oscillograph. 示波图用示波器画出的图
- Susceptible to transformation by growth and development. 能随成长而变形的对成长和发展的变化敏感的
- Decomposition or transformation of a compound caused by heat. 热解化用，高温分解由于热量而导致的化合物的分解或转化
- The graph K1 is hence nonplanar. 于是，图K1是非平面的。
- Graph the three major types of cost functions. 三种主要类型价值函数的曲线图。
- Graph paper is drawn with a series of small square. 座表纸是用一系列小方格绘制而成的。
- Our sounding is displayed in the form of a graph. 我们的调查结果已用图表列出。
