您要查找的是不是:
- The satisfiability problem of conjunction normal form (abbreviate SAT problem) is an NP_complete problem. 合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
- The satisfiability problem is a key problem in computer science and artificial intelligence. 这是计算机科学和人工智能中的重要问题之一。
- It seems to me that ad hoc local search research is now in a plateau, with no significant progress since 1994 in solving satisfiability problem, for instance. 为了进行这项研究,我申请延期毕业一年,直到毕业前最后一刻才真正获得突破,现在回想起来还惊心动魄。
- propositional satisfiability problem 可满足性问题
- It's commonly believed that no polynomial time algorithms exist for such formula satisfiability problems,since they belong to the NPC class. 布尔表达式的判定是NPC问题,用回溯法就能解决这一问题(只要变量不是很多)。
- Two Heuristic Strategies for Solving Satisfiability Problem 求解可满足性问题的两个启发式策略
- I look at this problem from a different viewpoint. 我从不同的观点来看这个问题。
- She skirted round the problem of the high cost. 她避而不谈巨额费用问题。
- It may take a long time to find a solution to the problem. 也许要花很长时间才能找到解决这个问题的办法。
- In dealing with the problem he was cautious to an extreme. 他在处理这个问题时谨慎得过分了。
- The problem is how we are to get the raw material. 问题是我们怎样得到原材料。
- Heavy traffic poses a problem in many old towns. 交通拥挤是许多旧城镇的难题。
- The problem is quite plain to us. 那问题我们都很明白。
- They dealt with the problem in a purposeful way. 他们处理这问题很果断。
- A new problem has been reared up in production. 生产中出现了一个新问题。
- It was Susan who brought the problem to our notice. 是苏珊提醒我们注意那个问题的。
- I think this problem is very simple and clear cut. 我认为这个问题非常简单明白。
- He often came up against the problem of money. 他那时常常碰到钱的问题。
- Overpopulation is a universal problem. 人口过多是全球性的问题。
- The problem is considerably difficult to us. 对我们来说这个问题相当难。