Adjustable soft discernibility matrix based on picture fuzzy soft sets and its applications in decision making. - Yong Yang; Chencheng Liang; Shiwei Ji; Tingting Liu (J. Intell. Fuzzy Syst., 2015)

Comments on "Fuzzy multicriteria decision making method based on the improved accuracy function for interval-valued intuitionistic fuzzy sets" by Ridvan Sahin. - Yong Yang; Chencheng Liang; Shiwei Ji (Soft Comput., 2017)

Adaptive Fuzzy Game-based Energy Efficient Localization in Underwater Sensor Networks. - Yali Yuan; Chencheng Liang; Megumi Kaneko; Lingjun Pu; Xiaoming Fu 001 (SIGCOMM Posters and Demos, 2019)

Topology Control for Energy-Efficient Localization in Mobile Underwater Sensor Networks Using Stackelberg Game. - Yali Yuan; Chencheng Liang; Megumi Kaneko; Xu Chen 004; Dieter Hogrefe (IEEE Trans. Veh. Technol., 2019)

Exploring Representation of Horn clauses using GNNs. - Chencheng Liang; Philipp Rümmer; Marc Brockschmidt (PAAR@IJCAR, 2022)

Exploring Representation of Horn Clauses using GNNs (Extended Technique Report). - Chencheng Liang; Philipp Rümmer; Marc Brockschmidt (CoRR, 2022)

Adaptive Fuzzy Game-Based Energy-Efficient Localization in 3D Underwater Sensor Networks. - Yali Yuan; Chencheng Liang; Xu Chen 004; Thar Baker; Xiaoming Fu 001 (ACM Trans. Internet Techn., 2022)

Guiding Word Equation Solving Using Graph Neural Networks. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Julie Cailler; Chencheng Liang; Philipp Rümmer (ATVA, 2024)

Boosting Constrained Horn Solving by Unsat Core Learning. - Parosh Aziz Abdulla; Chencheng Liang; Philipp Rümmer (VMCAI (1), 2024)

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report). - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Julie Cailler; Chencheng Liang; Philipp Rümmer (CoRR, 2024)

Guiding Word Equation Solving using Graph Neural Networks. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Julie Cailler; Chencheng Liang; Philipp Rümmer (Zenodo, 2024)

When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report). - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Julie Cailler; Chencheng Liang; Philipp Rümmer (CoRR, 2025)