(1) As a result, the satisfiable degree values of the given Methods: Were also greater titan 95 %.

(2) As a result, the satisfiable degree values of the given methods were also greater titan 95%.

(3) The satisfiable degree function was presented to evaluate to personnel satisfied degree.

(4) It is difficult to develop a satisfiable testing tool. Most tools only work for one or several program language.

(5) It was shown that the detail construction of turbulence in rocket can be predicted by LES, and the time-averaged method also can give the result with satisfiable engineering precision.

(6) In some applications, we need to obtain the set of all satisfiable assignments of a Boolean function[/satisfiable.html], in which assignments can not imply each other.

(7) In this latter case, we would say that the function is unsatisfiable; otherwise it is satisfiable .

(8) A SAT algorithm can determine whether any given CNF formula is satisfiable in limited time. DPLL algorithm and resolution refutation are two key methods resolving SAT problems.

(9) But after over ten years development, the whole performance of the listed companies of Chongqing is not satisfiable .

(10) This paper mainly analysis theory base and testing data of design rebuild for agitator, select rational parameters economical and satisfiable.

(11) When number of variables is not big, computing result of the satisfiable probability is consistent with the previous facts.

(12) A CNF formula F is minimal unsatisfiable if F is unsatisfiable and the resulting formula deleting anyone clause from F is satisfiable.

(13) Inspired by this fact, we introduce a new SAT solver based on finding satisfiable 2-SAT sub problem.

(14) SAT algorithm can determine whether any given CNF formula is satisfiable in limited time. DPLL algorithm and resolution refutation are two key methods resolving SAT problems.

(15) The probability of the event predicted can be given by Markov Model. The precision is satisfiable.

(16) Two subsystems have been unitarily tested and debugged, the result of testing is satisfiable: work stably, well display and playback effect.

(17) CBIR is a core technique of image database system. The main obstacle facing content-based image database is that the retrieval effectiveness is not satisfiable.

(18) If we can re-identify particulars , then we have satisfiable criteria on the basis of which we can make re-identification.