4 papers
Learning to Solve Weighted Maximum Satisfiability with a Co-Training Architecture
Kaidi Wan, Minghao Liu, Yong Lai
Wepropose SplitGNN, a graph neural network (GNN)-based approach that learns to solve weighted maximum satisfiabil ity (MaxSAT) problem. SplitGNN incorporates a co-training architec…
SMT(LIA) Sampling with High Diversity
Yong Lai, Junjie Li, Chuan Luo
Satisfiability Modulo Linear Integer Arithmetic, SMT(LIA) for short, is pivotal across various critical domains. Previous research has primarily focused on SMT solving techniques.…
Scalable Precise Computation of Shannon Entropy
Yong Lai, Haolong Tong, Zhenghang Xu +1
Quantitative information flow analyses (QIF) are a class of techniques for measuring the amount of confidential information leaked by a program to its public outputs. Shannon entro…
PBCounter: Weighted Model Counting on Pseudo-Boolean Formulas
Yong Lai, Zhenghang Xu, Minghao Yin
In Weighted Model Counting (WMC), we assign weights to literals and compute the sum of the weights of the models of a given propositional formula where the weight of an assignment…