Research
Publications
Academic Resources
Software Tools
People
Contact
English
English
中文 (简体)
Wenjie Zhang
Latest
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
Cite
×