1.
Seif-Assembly Algorithm of 3-SAT in DNA Computing;
DNA计算中的3-SAT问题的自装配算法
2.
A genetic algorithms for 3-SAT problem determinant
基于遗传算法的3-SAT问题判定
3.
3- SAT Problem Code design and Result of the Evaluation Function;
3-SAT问题的编码设计及评估函数值的求解
4.
An Evolutionary Algorithm for Solving SAT Problems Based on Learning CNF Weights
基于CNF权重学习求解3-SAT问题的进化算法
5.
GA Solution of 3-SAT based on Clustering Ranking Selection
基于聚类排序选择方法求解3-SAT问题的遗传算法
6.
MULTI-STAGE SEARCH REARRANGEMENT ALGORITHM FOR SOLVING SAT PROBLEM
求解SAT问题的分级重排搜索算法
7.
Linear Semidefinite Programming Algorithm for SAT Problem
求解SAT问题的线性半定规划算法
8.
Quantum cooperative immune algorithm for SAT problems
量子协同免疫算法用于SAT问题的求解
9.
A improved algorithm for Solving weighted MAX-SAT problems
一个求解加权MAX-SAT问题的改进算法
10.
Genetic Algorithm and Discrete Particle Swarm Algorithm in the Application of SAT Problem
遗传算法与离散粒子群算法在SAT问题上的应用
11.
Research and Implementation of an All-Solution SAT Solver
对可满足性（SAT）问题求全解的算法研究及实现
12.
The satisfiability problem of conjunction normal form (abbreviate SAT problem) is an NP_complete problem.
合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
13.
But the SAT folks have added a single question, to be answered in an essay, hand-written on the spot.
但SAT当局加了一个问题，这种题目是要以论文写作方式回答，而且要当场用手写。
14.
On elementary analysis of integral solution problem of x~3+y~3+z~3=D~3;
关于x~3+y~3+z~3=D~3的整数解问题初探
15.
STUDY OF THREE-MACHINE FLOW-SHOP SCHEDULING PROBLEM;
3机Flow-shop调度问题研究
16.
A 3×3 Matrix Spectral Problem and Its Darboux Transformation;
一个3×3矩阵谱问题及其Darboux变换
17.
On the Minimum Covering Problem of MC_λ(3,_4~((3))-e,v)
3-(v,K_4~((3))-e,λ)最小覆盖问题
18.
I was never tutored in anything and walked into the SATs without having seen a sample SAT question.
我从没有过任何辅导，是没有看过一道模拟SAT题走进考场。