RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 5

Optimizing local search-based partial MaxSAT solving via initial assignment prediction
Liu, Chanjuan; Liu, Guangyuan; Luo, Chuan; Cai, Shaowei; Lei, Zhendong; Zhang, Wenjie; Chu, Yi; Zhang, Guojing
Sci China Inf Sci, 2025, 68(2): 122101
Keywords: MaxSAT; local search; initial assignment; incomplete method; assignment prediction
Cite as: Liu C J, Liu G Y, Luo C, et al. Optimizing local search-based partial MaxSAT solving via initial assignment prediction. Sci China Inf Sci, 2025, 68: 122101, doi: 10.1007/s11432-023-3900-7

LETTER Supplementary Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 1

On optimal streaming kernelization algorithms
Feng, Hao; Yang, Wei; Chen, Jianer
Sci China Inf Sci, 2024, 67(8): 189101
Keywords: streaming algorithm; kernelization algorithm; vertex cover; big data; space complexity
Cite as: Feng H, Yang W, Chen J E. On optimal streaming kernelization algorithms. Sci China Inf Sci, 2024, 67: 189101, doi: 10.1007/s11432-023-4080-3

RESEARCH PAPER Webpage Webpage-cn SpringerLink Google Scholar Cited in SCI: 0

Active learning of deterministic timed automata via timed classification tree
Teng, Yu; Chen, Hanyue; Mi, Junri; Zhang, Miaomiao; An, Jie; Zhan, Naijun
Sci China Inf Sci, 2025, 68(12): 222101
Keywords: model learning; active learning; timed automata; timed classification tree; counterexample processing
Cite as: Teng Y, Chen H Y, Mi J R, et al. Active learning of deterministic timed automata via timed classification tree. Sci China Inf Sci, 2025, 68: 222101, doi: 10.1007/s11432-024-4393-8