找到2个数据集

标签: CEGAR

过滤结果

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

    2025年12月21日 30 95 93

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

  • 基于CEGAR模型检查高效策略论文补充材料

    2025年12月14日 30 6 0

    数据集概述 本数据集是论文《基于CEGAR模型检查高效策略》的补充材料，包含详细报告和可复现测量分析的全部制品，为论文研究内容提供额外支持。 文件详解 文件名称: report.html，文件格式: HTML，内容为论文相关的详细报告 文件名称: artifact.tar.gz，文件格式: GZ压缩包，包含用于复现论文测量与分析的所有制品 适用场景...
    packageimg