郑州大学计算智能实验室
Computational Intelligence Laboratory
Discrete Opt
Efects of Epistasis Problem
Using Problem Generators to Explore the Efects of Epistasis（paper）（link）
Adaptation on rugged fitness landscapes（paper）
Using Genetic Algorithms to Solve NP.Complete Problems（paper）（link）
Propositional Logic Problem
SATLIB：SATLIB（link）
Planning Instances：DIMACS Benchmark Instances和SAT Competition Bejing（link）
Stochastic Local Search: Foundations and Applications（paper）
Uniform Random-3-SAT：Hard and Easy Distributions of SAT Problem（paper）（link）
Graph Colouring Problem：A Comparison of ATMS and CSP Techniques（paper）
Nurse Rostering Problem
A comparison of ATMS and CSP techniques（paper）（link）
The rst international nurse rostering competition 2010（paper）（link）
The Second International Nurse Rostering Competition (INRC-II)（paper）
TSP
National TSP Collection（link）
A library of sample instances for the TSP（link）
Handbook of Test Problems in Local and Global Optimization（paper）
Scheduling Problem
ExacExact and metaheuristic algorithms for flowshop scheduling problems with release dates（link）
Taillard test functionsThe Second International Nurse Rostering Competition (INRC-II)（paper）（link）（link1）
A guide to simulation（paper）
Benchmarks for basic scheduling problems（paper）（link）
Scheduling: Theory, Algorithms and System（paper）（link）
Rec test functions
A genetic algorithm for flowshop sequencing（paper）
Simulated versus real life data in testing the efficiency of scheduling algorithms（paper）（link）
Machine scheduling problems: classification, complexity and computations（paper）
The Capacitated Arc Routing Problem
The capacitated arcrouting problem datasets（link）（link1）
Knapsack Problem
Knapsack problem test functions（link1）（link2）
Genetic optimization using a penalty function. In Forrest（paper）
Methods for the solution of the multi-dimentional 0/1 knapsack problem（paper）（link）
Computational experience with variants of the balas algorithm applied to the selection of r & d projects（paper）（link）
Others
QAPLIB（link）
Steiner's question（link）
Simulated versus real life data in testing the efficiency of scheduling algorithms（paper）（link）（link1）