您要查找的是不是：
- Explaining the causes of infeasibility of Boolean formulae has theoretical importance and practical applications in various fields, such as formal verification and electronic design automation. 摘要解釋布爾公式不可滿(mǎn)足的原因在諸如形式化驗證與電子設計自動(dòng)化等眾多領(lǐng)域中都具有非常重要的理論與應用價(jià)值。
- Strings are arguments of boolean function. 中,函數boolean的參數是字符串。
- Displacement resolution of sub pixel is achieved. 檢測系統達到了亞像素級的位移分辨率。
- We need quick resolution of this conflict. 我們需要很快解決這一爭端。
- The resolution of the TDC reaches 250ps. 經(jīng)測試,其測時(shí)誤差小于250ps。
- How is the resolution of your laser printer? 你的激光打印機的清晰度怎樣?
- Speedy resolution of customer requests. 迅速解決客戶(hù)要求。
- Try reducing the resolution of the panorama in pixels. 嘗試在圖素中減少全景的解析度。
- His generosity led to the resolution of all our difficulties. 他的慷慨相助使我們的困難全都得以解決。
- His generosity lead to the resolution of all our difficulty. 他的慷慨相助使我們的困難全都得以解決。
- They never did achieve a final resolution of their differences. 他們并沒(méi)有對其分歧找到一個(gè)解決方案。
- These algorithms mostly imply in data, which is a type of Boolean. 這些經(jīng)典的算法絕大多數適用于布爾型數據。
- BDD is a diagrammatic representation of Boolean function. BDD是布爾函數的圖形表示形式。
- The reforms owe a great deal to the resolution of one man. 這些改革主要歸功于一個(gè)人的堅定決心。
- This paper discusses some properties of structure and nonlinearity of Boolean functions.It proves the relations among linear dimension,algebraic order and variable number,and gives the nonlinearity formula computed by linear dimension. 本文討論了布爾函數的線(xiàn)性維數與非線(xiàn)性度的有關(guān)性質(zhì)，證明了布爾函數變元個(gè)數、代數次數和線(xiàn)性維數之間的關(guān)系，給出了由線(xiàn)性維數計算二次布爾函數非線(xiàn)性度的公式.
- They go with a resolution of self-sacrifice in the name of Bethune. 為了白求恩，他們抱著(zhù)自我犧牲的決心出發(fā)了。
- The prismatic resolution of sunlight into its spectral colors. 將太陽(yáng)光分離為光譜顏色的棱鏡分光解析
- No resolution of repenting here after, can be sincere. 打算以后再痛改前非是假的。
- We are now doubling the resolution of the focus movies. 我們將焦點(diǎn)影片的解析度提升了一倍。
- quantified Boolean formula problem 量化布爾公式問(wèn)題
