1.
Deriving All Minimal Conflict Sets Using Satisfiability Algorithms
使用SAT求解器产生所有极小冲突部件集
2.
Research of the #SAT Approximate Solvers Based on Extension Rule;
基于扩展规则的#SAT近似求解器的研究
3.
MULTI-STAGE SEARCH REARRANGEMENT ALGORITHM FOR SOLVING SAT PROBLEM
求解SAT问题的分级重排搜索算法
4.
Linear Semidefinite Programming Algorithm for SAT Problem
求解SAT问题的线性半定规划算法
5.
Solving #SAT Using Extension Rules
一种基于扩展规则的#SAT求解系统
6.
Quantum cooperative immune algorithm for SAT problems
量子协同免疫算法用于SAT问题的求解
7.
A improved algorithm for Solving weighted MAX-SAT problems
一个求解加权MAX-SAT问题的改进算法
8.
Object-oriented Program Type Analysis Based on SAT Solver
基于SAT求解的面向对象程序类型分析
9.
3- SAT Problem Code design and Result of the Evaluation Function;
3-SAT问题的编码设计及评估函数值的求解
10.
Research and Implementation of an All-Solution SAT Solver
对可满足性（SAT）问题求全解的算法研究及实现
11.
An Evolutionary Algorithm for Solving SAT Problems Based on Learning CNF Weights
基于CNF权重学习求解3-SAT问题的进化算法
12.
GA Solution of 3-SAT based on Clustering Ranking Selection
基于聚类排序选择方法求解3-SAT问题的遗传算法
13.
Surpassing itself and Striving for Excellence--A Brief Introduction to the New SAT (nSAT) in the United States;
超越自我 追求卓越——美国"新SAT"(nSAT)介述
14.
robot problem solver
机器人问题求解程序
15.
robot problem-solving system
机器人问题求解系统
16.
General method for solving the forward solution of parallel robot positions
求解并联机器人位置正解的通用方法
17.
400: The server could not properly interpret the request.
服务器不能正确地解释该请求。
18.
The requested codec has been acquired and installed.
已获取并安装了所请求的编码解码器。