sat problem

基本解释

• [計算機科學技術]可滿足性問題sat問題
• [電子、通信與自動控制技術]sat問題

英汉例句

雙語例句

• In this paper, SAT problem is solved by linear semidefinite programming algorithm.
  將線性半定槼劃應用到SAT問題的求解過程中。
• It first divides a SAT problem into several sub-problems, and forms an organization by each sub-problem.
  它將原問題分解成若乾子問題，用每個子問題形成一個組織。
• Basic thinking of DNA computing is introduced in this paper, then the solution of SAT problem is introduced. After this , we introduce the principle and design of molecular beacons.
  本文首先介紹了DNA 計算的基本思想，然後介紹發夾結搆在解決SAT 問題上的應用，再介紹發夾結搆的一種特殊形式-分子信標的原理和設計方法。

原聲例句

• We just sat down and like, worked through exams and problem sets together
  我們就坐在一起討論考試還有我遇到的難題，
  與教授的麪談 - SpeakingMax英語口語達人

權威例句

• Somewhat relieved, the Americans have sat back and left the relocation problem to the Japanese.
  ECONOMIST: Too nice to America?
• My brother sat me down and told me I had a problem.
  FORBES: Inside The Mind Of A Person Who Stalked A Female Co-Worker
• Now, the problem is that the - all the sides have not - the Armenians and the Turks - have never sat down and had a really rigorous series of conferences and opened up the archives and looked at what actually happened.
  NPR: Turkey Rattles Sabers at Kurdish Iraq

• sat problem更多例句

词组短语

短語

• 2 sat abduction problem sat 誘導問題
• sat abduction problem sat 誘導問題
• SAT sub problem SAT 子問題
• 2 -SAT sub problem SAT子問題
• 3 -SAT problem SAT問題

• sat problem更多词组

专业释义

計算機科學技術

• 可滿足性問題
• sat問題

電子、通信與自動控制技術

• sat問題