Parallelizing Satz Using Dynamic Workload Balancing
Jurkowiak, Bernard, Li, Chu Min, Utard, Gil
Published in Electronic notes in discrete mathematics (2001)
Published in Electronic notes in discrete mathematics (2001)
Get full text
Journal Article
Incorporating Multi-armed Bandit with Local Search for MaxSAT
Zheng, Jiongzhi, He, Kun, Zhou, Jianrong, Jin, Yan, Chu-Min, Li, Manyà, Felip
Published in arXiv.org (29.11.2022)
Get full text
Published in arXiv.org (29.11.2022)
Paper
BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit
Zheng, Jiongzhi, He, Kun, Zhou, Jianrong, Jin, Yan, Chu-Min, Li, Felip Manya
Published in arXiv.org (16.06.2022)
Get full text
Published in arXiv.org (16.06.2022)
Paper
Oral malignant acanthosis nigricans associated with endometrial adenocarcinoma
Chu, Han-Wen, Li, Jing-Min, Chen, Guan-Fu, Ma, Jing-Yuan
Published in International journal of oral science (01.12.2014)
Published in International journal of oral science (01.12.2014)
Get full text
Journal Article