Polong Chen

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Satisfiability Testing

Stochastic Local Search

Boundary Value Problem

Graph Representation

Top Venues

J. Syst. Softw.

Publications

Weilin Luo, Polong Chen, Hai Wan, Hongzhen Zhong, Shaowei Cai, Zhanhao Xiao
Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter. J. Syst. Softw. 213 (2024)
Weilin Luo, Yuhang Zheng, Rongzhen Ye, Hai Wan, Jianfeng Du, Pingjia Liang, Polong Chen
SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning. ASE (2023)