Research
Publications
Academic Resources
Software Tools
People
Contact
English
English
中文 (简体)
Conf
Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search
Shaowei Cai
,
Xindi Zhang
PDF
DOI
«
Cite
×