18 citations · 18 across the 6 of their papers we have counts for
6 papers
Fast algorithms for k-submodular maximization subject to a matroid constraint
Shuxian Niu, Qian Liu, Yang Zhou +1
In this paper, we apply a Threshold-Decreasing Algorithm to maximize -submodular functions under a matroid constraint, which reduces the query complexity of the algorithm compar…
Addressing Variable Dependency in GNN-based SAT Solving
Zhiyuan Yan, Min Li, Zhengyuan Shi +3
Boolean satisfiability problem (SAT) is fundamental to many applications. Existing works have used graph neural networks (GNNs) for (approximate) SAT solving. Typical GNN-based end…
A self-contained and self-explanatory DNA storage system
Min Li, Jiashu Wu, Junbiao Dai +4
Current research on DNA storage usually focuses on the improvement of storage density by developing effective encoding and decoding schemes while lacking the consideration on the u…
TripHLApan: predicting HLA molecules binding peptides based on triple coding matrix and transfer learning
Meng Wang, Chuqi Lei, Jianxin Wang +2
Human leukocyte antigen (HLA) is an important molecule family in the field of human immunity, which recognizes foreign threats and triggers immune responses by presenting peptides…
PGMG: A Pharmacophore-Guided Deep Learning Approach for Bioactive Molecular Generation
Huimin Zhu, Renyi Zhou, Jing Tang +1
The rational design of novel molecules with desired bioactivity is a critical but challenging task in drug discovery, especially when treating a novel target family or understudied…
DeepTPI: Test Point Insertion with Deep Reinforcement Learning
Zhengyuan Shi, Min Li, Sadaf Khan +4
Test point insertion (TPI) is a widely used technique for testability enhancement, especially for logic built-in self-test (LBIST) due to its relatively low fault coverage. In this…