Lu Zhang

最新

• NLocalSAT: Boosting Local Search with Solution Prediction
• NLocalSAT: Boosting Local Search with Solution Prediction
• TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T). ASE 2015: 494-505