Zhenbang Chen
Publications
Teaching
Students
Projects
Talks
Services

Zhenbang Chen

Professor of Computer Science, NUDT

Changsha, China
Email
Github
Google Scholar
ORCID
DBLP

QSF: Multi-Objective Optimization based Efficient Solving for Floating-Point Constraints

Date: June 24, 2025

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

© 2025 Zhenbang Chen. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.