Optimizing with minimum satisfiability
Li, Chu Min, Zhu, Zhu, Manyà, Felip, Simon, Laurent
Published in Artificial intelligence (01.10.2012)
Published in Artificial intelligence (01.10.2012)
Get full text
Journal Article
Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers
Get full text
Book Chapter
Conference Proceeding
New heuristics for packing unequal circles into a circular container
Huang, Wen Qi, Li, Yu, Li, Chu Min, Xu, Ru Chu
Published in Computers & operations research (01.08.2006)
Published in Computers & operations research (01.08.2006)
Get full text
Journal Article
Diversification and Determinism in Local Search for Satisfiability
Get full text
Book Chapter
Conference Proceeding
精神分裂症患者的情感体验和表达
Min-yi CHU;Xu LI;Qin-yu LV;Zheng-hui YI;Eric F. C. CHEUNG;Raymond C. K. CHAN
Published in 上海精神医学 (2017)
Get full text
Published in 上海精神医学 (2017)
Journal Article