Polong Chen

According to our database, Polong Chen authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter.

Weilin Luo, Polong Chen, Hai Wan, Hongzhen Zhong, Shaowei Cai, Zhanhao Xiao

J. Syst. Softw., 2024

2023

SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning.

Weilin Luo, Yuhang Zheng, Rongzhen Ye, Hai Wan, Jianfeng Du, Pingjia Liang, Polong Chen

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023