Wenjie Zhang

最新

• Optimizing local search-based partial MaxSAT solving via initial assignment prediction
• NLocalSAT: Boosting Local Search with Solution Prediction
• NLocalSAT: Boosting Local Search with Solution Prediction