Supplementary Material for "Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets"
收藏官方服务：
资源简介：
Supplementary material (source code and experimental data) for "Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets" (CP 2025).An up-to-date version of the PBO-IHS solver is available at https://bitbucket.org/coreo-group/pbhs. This repository contains experimental data (run times and statistics), scripts used to generate the CC instances and a version of the solver used in the experiments.
提供机构：
Zenodo创建时间：
2025-06-10
