Sixue Liu

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 11

Top Topics

Propositional Satisfiability

Top Venues

Genom. Proteom. Bioinform.

Publications

Jie Zou, Jiashu Lou, Baohua Wang, Sixue Liu
A novel Deep Reinforcement Learning based automated stock trading system using cascaded LSTM networks. Expert Syst. Appl. 242 (2024)
Jie Zou, Jiashu Lou, Baohua Wang, Sixue Liu
A Novel Deep Reinforcement Learning Based Automated Stock Trading System Using Cascaded LSTM Networks. CoRR (2022)
Sixue Liu, Zuyu Yang, Guanghao Li, Chunyan Li, Yanting Luo, Qiang Gong, Xin Wu, Tao Li, Zhiqian Zhang, Baocai Xing, Xiaolan Xu, Xuemei Lu
Multi-omics Analysis of Primary Cell Culture Models Reveals Genetic and Epigenetic Basis of Intratumoral Phenotypic Diversity. Genom. Proteom. Bioinform. 17 (6) (2019)
Sixue Liu, Robert E. Tarjan
Simple Concurrent Labeling Algorithms for Connected Components. SOSA (2019)
Sixue Liu
Chain, Generalization of Covering Code, and Deterministic Algorithm for k-SAT. ICALP (2018)
Sixue Liu, Robert E. Tarjan
Simple Concurrent Labeling Algorithms for Connected Components. CoRR (2018)
Sixue Liu
Chain, Generalization of Covering Code, and Deterministic Algorithm for k-SAT. CoRR (2018)
Sixue Liu, Gerard de Melo
Should Algorithms for Random SAT and Max-SAT Be Different? AAAI (2017)
Sixue Liu, Periklis A. Papakonstantinou
Local Search for Hard SAT Formulas: The Strength of the Polynomial Law. AAAI (2016)
Sixue Liu, Yulong Ceng, Gerard de Melo
A Probability Distribution Strategy with Efficient Clause Selection for Hard Max-SAT Formulas. CoRR (2016)
Sixue Liu
An Efficient Implementation for WalkSAT. CoRR (2015)
Sixue Liu, Wenhao He
Network analyses of Beijing subways. INDIN (2012)