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问题