Chencheng Liang

According to our database, Chencheng Liang authored at least 8 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Boosting Constrained Horn Solving by Unsat Core Learning.

Parosh Aziz Abdulla, Chencheng Liang, Philipp Rümmer

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2022

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

Yali Yuan, Chencheng Liang, Xu Chen, Thar Baker, Xiaoming Fu

ACM Trans. Internet Techn., 2022

Exploring Representation of Horn Clauses using GNNs (Extended Technique Report).

Chencheng Liang, Philipp Rümmer, Marc Brockschmidt

CoRR, 2022

Exploring Representation of Horn clauses using GNNs.

Chencheng Liang, Philipp Rümmer, Marc Brockschmidt

Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022

2019

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

Yali Yuan, Chencheng Liang, Megumi Kaneko, Xu Chen, Dieter Hogrefe

IEEE Trans. Veh. Technol., 2019

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

Yali Yuan, Chencheng Liang, Megumi Kaneko, Lingjun Pu, Xiaoming Fu

Proceedings of the ACM SIGCOMM 2019 Conference Posters and Demos, 2019

2017

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

2015

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