Chencheng Liang

13 papers B 1Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report).
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer
2025 — conf
When GNNs Met a Word Equations Solver: Learning to Rank Equations.
FroCoS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer
2024 — conf
Boosting Constrained Horn Solving by Unsat Core Learning.
VMCAI (1)
Parosh Aziz Abdulla, Chencheng Liang, Philipp Rümmer
2024 B conf
Guiding Word Equation Solving Using Graph Neural Networks.
ATVA
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer
2024 J jnl
Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report).
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer
2022 J jnl
Adaptive Fuzzy Game-Based Energy-Efficient Localization in 3D Underwater Sensor Networks.
ACM Trans. Internet Techn.
Yali Yuan, Chencheng Liang, Xu Chen, Thar Baker, Xiaoming Fu
2022 J jnl
Exploring Representation of Horn Clauses using GNNs (Extended Technique Report).
CoRR
Chencheng Liang, Philipp Rümmer, Marc Brockschmidt
2022 — conf
Exploring Representation of Horn clauses using GNNs.
PAAR@IJCAR
Chencheng Liang, Philipp Rümmer, Marc Brockschmidt
2019 — conf
Adaptive Fuzzy Game-based Energy Efficient Localization in Underwater Sensor Networks.
SIGCOMM Posters and Demos
Yali Yuan, Chencheng Liang, Megumi Kaneko, Lingjun Pu, Xiaoming Fu
2019 J jnl
Topology Control for Energy-Efficient Localization in Mobile Underwater Sensor Networks Using Stackelberg Game.
IEEE Trans. Veh. Technol.
Yali Yuan, Chencheng Liang, Megumi Kaneko, Xu Chen, Dieter Hogrefe
2018 J jnl
Topology Control for Energy-Efficient Localization in Mobile Underwater Sensor Networks using Stackelberg Game.
CoRR
Yali Yuan, Chencheng Liang, Megumi Kaneko, Xu Chen, Dieter Hogrefe
2017 J jnl
Comments on "Fuzzy multicriteria decision making method based on the improved accuracy function for interval-valued intuitionistic fuzzy sets" by Ridvan Sahin.
Soft Comput.
Yong Yang, Chencheng Liang, Shiwei Ji
2015 J jnl
Adjustable soft discernibility matrix based on picture fuzzy soft sets and its applications in decision making.
J. Intell. Fuzzy Syst.
Yong Yang, Chencheng Liang, Shiwei Ji, Tingting Liu