Chencheng Liang

When GNNs Met a Word Equations Solver: Learning to Rank Equations

Abdulla, Parosh; Atig, Mohamed Faouzi; Cailler, Julie; Liang, Chencheng et al.

Ingår i Frontiers of Combining Systems (FroCoS 2025), s. 327-345, 2025

• DOI för When GNNs Met a Word Equations Solver: Learning to Rank Equations

Learning to Guide Automated Reasoning: A GNN-Based Framework

Liang, Chencheng

2025

• Ladda ner fulltext (pdf) av Learning to Guide Automated Reasoning: A GNN-Based Framework

Guiding Word Equation Solving using Graph Neural Networks

Abdulla, Parosh; Atig, Mohamed Faouzi; Cailler, Julie; Liang, Chencheng et al.

Ingår i Automated Technology for Verification and Analysi, s. 279-301, 2024

• DOI för Guiding Word Equation Solving using Graph Neural Networks

Boosting Constrained Horn Solving by Unsat Core Learning

Abdulla, Parosh Aziz; Liang, Chencheng; Rümmer, Philipp

Ingår i Verification, Model Checking, and Abstract Interpretation, s. 280-302, 2024

• DOI för Boosting Constrained Horn Solving by Unsat Core Learning

Exploring Representation of Horn clauses using GNNs

Liang, Chencheng; Rümmer, Philipp; Brockschmidt, Marc

Ingår i PAAR’22, 2022

• Ladda ner fulltext (pdf) av Exploring Representation of Horn clauses using GNNs

Adaptive Fuzzy Game-Based Energy-Efficient Localization in 3D Underwater Sensor Networks

Yuan, Yali; Liang, Chencheng; Chen, Xu; Baker, Thar et al.

Ingår i ACM Transactions on Internet Technology, 2022

• DOI för Adaptive Fuzzy Game-Based Energy-Efficient Localization in 3D Underwater Sensor Networks

Topology Control for Energy-Efficient Localization in Mobile Underwater Sensor Networks Using Stackelberg Game

Yuan, Yali; Liang, Chencheng; Kaneko, Megumi; Xu, Chen et al.

Ingår i IEEE Transactions on Vehicular Technology, s. 1487-1500, 2019

• DOI för Topology Control for Energy-Efficient Localization in Mobile Underwater Sensor Networks Using Stackelberg Game

Comments on "Fuzzy multicriteria decision making method based on the improved accuracy function for interval-valued intuitionistic fuzzy sets" by Ridvan Sahin

Yang, Yong; Liang, Chencheng; Ji, Shiwei

Ingår i Soft Computing - A Fusion of Foundations, Methodologies and Applications, s. 3033-3035, 2017

• DOI för Comments on "Fuzzy multicriteria decision making method based on the improved accuracy function for interval-valued intuitionistic fuzzy sets" by Ridvan Sahin

Adjustable soft discernibility matrix based on picture fuzzy soft sets and its applications in decision making

Yang, Yong; Liang, Chencheng; Ji, Shiwei; Liu, Tingting

Ingår i Journal of Intelligent & Fuzzy Systems, s. 1711-1722, 2015

• DOI för Adjustable soft discernibility matrix based on picture fuzzy soft sets and its applications in decision making

Learning to Guide Automated Reasoning: A GNN-Based Framework

Liang, Chencheng

2025

• Ladda ner fulltext (pdf) av Learning to Guide Automated Reasoning: A GNN-Based Framework

When GNNs Met a Word Equations Solver: Learning to Rank Equations

Abdulla, Parosh; Atig, Mohamed Faouzi; Cailler, Julie; Liang, Chencheng et al.

Ingår i Frontiers of Combining Systems (FroCoS 2025), s. 327-345, 2025

• DOI för When GNNs Met a Word Equations Solver: Learning to Rank Equations

Guiding Word Equation Solving using Graph Neural Networks

Abdulla, Parosh; Atig, Mohamed Faouzi; Cailler, Julie; Liang, Chencheng et al.

Ingår i Automated Technology for Verification and Analysi, s. 279-301, 2024

• DOI för Guiding Word Equation Solving using Graph Neural Networks

Boosting Constrained Horn Solving by Unsat Core Learning

Abdulla, Parosh Aziz; Liang, Chencheng; Rümmer, Philipp

Ingår i Verification, Model Checking, and Abstract Interpretation, s. 280-302, 2024

• DOI för Boosting Constrained Horn Solving by Unsat Core Learning

Exploring Representation of Horn clauses using GNNs

Liang, Chencheng; Rümmer, Philipp; Brockschmidt, Marc

Ingår i PAAR’22, 2022

• Ladda ner fulltext (pdf) av Exploring Representation of Horn clauses using GNNs

Adaptive Fuzzy Game-based Energy Efficient Localization in Underwater Sensor Networks

Yuan, Yali; Liang, Chencheng; Kaneko, Megumi; Pu, Lingjun et al.

Ingår i Proceedings of the ACM SIGCOMM 2019 Conference Posters and Demos (SIGCOMM '19), s. 119-121, 2019

• DOI för Adaptive Fuzzy Game-based Energy Efficient Localization in Underwater Sensor Networks