Chencheng Liang
Assistant with doctoral duties at Department of Information Technology; Division of Computer Systems
- Telephone:
- +46 18 471 29 82
- E-mail:
- chencheng.liang@it.uu.se
- Visiting address:
- Hus 10, Regementsvägen 10
- Postal address:
- Box 337
751 05 UPPSALA
Publications
Recent publications
Learning to Guide Automated Reasoning: A GNN-Based Framework
2025
When GNNs Met a Word Equations Solver: Learning to Rank Equations
2025
Boosting Constrained Horn Solving by Unsat Core Learning
Part of Verification, Model Checking, and Abstract Interpretation, p. 280-302, 2024
Guiding Word Equation Solving using Graph Neural Networks
Part of Automated Technology for Verification and Analysi, p. 279-301, 2024
Exploring Representation of Horn clauses using GNNs
Part of PAAR’22, 2022
All publications
Articles in journal
Adaptive Fuzzy Game-Based Energy-Efficient Localization in 3D Underwater Sensor Networks
Part of ACM Transactions on Internet Technology, 2022
Part of IEEE Transactions on Vehicular Technology, p. 1487-1500, 2019
Part of Soft Computing - A Fusion of Foundations, Methodologies and Applications, p. 3033-3035, 2017
Part of Journal of Intelligent & Fuzzy Systems, p. 1711-1722, 2015
Comprehensive doctoral thesis
Conference papers
Boosting Constrained Horn Solving by Unsat Core Learning
Part of Verification, Model Checking, and Abstract Interpretation, p. 280-302, 2024
Guiding Word Equation Solving using Graph Neural Networks
Part of Automated Technology for Verification and Analysi, p. 279-301, 2024
Exploring Representation of Horn clauses using GNNs
Part of PAAR’22, 2022
Adaptive Fuzzy Game-based Energy Efficient Localization in Underwater Sensor Networks
Part of Proceedings of the ACM SIGCOMM 2019 Conference Posters and Demos (SIGCOMM '19), p. 119-121, 2019