1.
A improved algorithm for Solving weighted MAX-SAT problems
一个求解加权MAX-SAT问题的改进算法
2.
Equivalence of PTAS Reduction for MAX-k-SAT
MAX-k-SAT的PTAS归约等价性
3.
An Evolutionary Algorithm for Solving SAT Problems Based on Learning CNF Weights
基于CNF权重学习求解3-SAT问题的进化算法
4.
Modification of MK9N/MAX-S Cigarette Making and Tipping Machine Combination for Cigarette with Extra Long Filter Tip
MK9N/MAX-S卷接机组生产加长滤嘴卷烟的改造
5.
Proof of academic grade in English: Original TOEFL grade should be delivered to our school or by ETS directly; America and Canada students may submit a SAT certificate.
.英文学力证明：TOEFL成绩正本或由ETS直接寄至本校；美加学生可缴交SAT成绩证明。
6.
But the SAT folks have added a single question, to be answered in an essay, hand-written on the spot.
但SAT当局加了一个问题，这种题目是要以论文写作方式回答，而且要当场用手写。
7.
Single Machine Primary-Secondary Criteria Scheduling Problem 1‖∑U_j︱T_(max)with the Jobs Processing Times Being Agreeable with Their Due Dates;
加工时间和工期一致的单机主次指标排序问题1‖∑U︱T_(max)
8.
And that's dear little Max.
那是亲爱的小Max。
9.
Believe me, Max is fine.
相信我， Max很好。
10.
The M-A-X over his bassinet.
摇篮上的MAX字样。
11.
MaxScript Reference
Max脚本参考手册
12.
MULTI-STAGE SEARCH REARRANGEMENT ALGORITHM FOR SOLVING SAT PROBLEM
求解SAT问题的分级重排搜索算法
13.
The Bounds of Critical Function for (k,s)-SAT;
关于（k，s）-SAT临界函数上下界的研究
14.
Research of the #SAT Approximate Solvers Based on Extension Rule;
基于扩展规则的#SAT近似求解器的研究
15.
Study on the Formal Verification Methods in BDD and SAT;
基于BDD和SAT的形式验证方法的研究
16.
Seif-Assembly Algorithm of 3-SAT in DNA Computing;
DNA计算中的3-SAT问题的自装配算法
17.
Surpassing itself and Striving for Excellence--A Brief Introduction to the New SAT (nSAT) in the United States;
超越自我 追求卓越——美国"新SAT"(nSAT)介述
18.
Linear Semidefinite Programming Algorithm for SAT Problem
求解SAT问题的线性半定规划算法