Experimental Repository for "Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach"
收藏官方服务：
资源简介：
Supplementary material (source codes and experimental results) for "Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach" (AAAI 2026).An up-to-date version of the PBO-IHS solver is available at https://bitbucket.org/coreo-group/pbhs.
提供机构：
Zenodo创建时间：
2025-11-17
