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.
MULTI-STAGE SEARCH REARRANGEMENT ALGORITHM FOR SOLVING SAT PROBLEM
求解SAT问题的分级重排搜索算法
4.
Seif-Assembly Algorithm of 3-SAT in DNA Computing;
DNA计算中的3-SAT问题的自装配算法
5.
Linear Semidefinite Programming Algorithm for SAT Problem
求解SAT问题的线性半定规划算法
6.
A genetic algorithms for 3-SAT problem determinant
基于遗传算法的3-SAT问题判定
7.
Quantum cooperative immune algorithm for SAT problems
量子协同免疫算法用于SAT问题的求解
8.
3- SAT Problem Code design and Result of the Evaluation Function;
3-SAT问题的编码设计及评估函数值的求解
9.
Genetic Algorithm and Discrete Particle Swarm Algorithm in the Application of SAT Problem
遗传算法与离散粒子群算法在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.
The satisfiability problem of conjunction normal form (abbreviate SAT problem) is an NP_complete problem.
合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
13.
The Study on a Generalized Min-max Problem;
一类推广的min-max问题的研究
14.
A Survey of Max-npv Project Scheduling Problems;
Max-npv项目进度问题研究评述
15.
An Interval Algorithm for a Class of Constrained min-max-min Problems
一类带约束min-max-min问题的区间算法
16.
GA Solution of 3-SAT based on Clustering Ranking Selection
基于聚类排序选择方法求解3-SAT问题的遗传算法
17.
Status Quo of Sociology of Law:A Comparative Study of Max Weber and Hans Kelsen;
法律社会学的定位问题:Max Weber与Hans Kelsen的比较
18.
Study on Bank Credit Limit Based Max-NPV Project Scheduling Problems
基于银行授信额度的Max-NPV项目调度问题研究