Project Name:面向信息安全领域的约束求解器研究
Institution:网络空间安全学院（研究院）
Leading Scientist:樊燕红
Nature of Project:纵向
Project Number:23405642B9242780E063BE07C2CAE4D7
Project Approval Number:2023YFA1009502
Date of Project Approval:2023-12-21
Scheduled Completion Time:2028-11-30
Date of Project Completion:2028-11-30
Date of Project Initiation:2023-12-21
Release Time:2024-10-17