找到1个数据集

标签: 量化线性算术

过滤结果

  • 基于CEGAR的组合优化模量化线性算术问题求解方法_代码与附录

    2025年12月21日 30 111 57

    数据集概述 本数据集包含发表于AAAI 2024的论文配套材料，核心为基于CEGAR方法求解组合优化模量化线性算术问题的技术附录、代码及基准测试生成数据，为相关算法研究提供可复现的技术支持。 文件详解 文件名称：technical-appendix.pdf，文件格式：PDF，内容为论文的技术附录文档，提供研究方法的详细补充说明...
    packageimg