Experimental Repository for "Certified Branch-and-Bound MaxSAT Solving" (AAAI26)
收藏官方服务：
资源简介：
This repository contains the supplementary material for the experimental evaluation in the paper Certified Branch-and-Bound MaxSAT Solving, D. Vandesande, J. Coll and B. Bogaerts Proceedings of the Fourtieth Conference on Artificial Intelligence (AAAI), 2026 Contents: 1. Experiments.zip contains the results of the experimental evaluation2. WMaxCDCL.zip contains the implementation of proof logging in the solver WMaxCDCL that is used in the experimental evaluation
提供机构：
Zenodo创建时间：
2025-11-17
