Chencheng Liang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ATVA | Guiding Word Equation Solving Using Graph Neural Networks. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rmmer |
| 2024 | VMCAI | Boosting Constrained Horn Solving by Unsat Core Learning. | Parosh Aziz Abdulla, Chencheng Liang, Philipp Rmmer |
| 2019 | SIGCOMM | Adaptive Fuzzy Game-based Energy Efficient Localization in Underwater Sensor Networks. | Yali Yuan, Chencheng Liang, Megumi Kaneko, Lingjun Pu, Xiaoming Fu |