Cong Peng

Orcid: 0000-0001-8070-9092

Affiliations:

Tongji University, School of Electronic Information Engineering, Shanghai, China
Leiden University, Leiden Institute of Advanced Computer Science, Netherlands

According to our database¹, Cong Peng authored at least 2 papers between 2019 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Towards More Efficient Local Search for Pseudo-Boolean Optimization.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2019

Model Checking Longitudinal Control in Vehicle Platoon Systems.

[BibT_eX]

[DOI]

IEEE Access, 2019