There is a newer version of the record available.

Published September 18, 2020 | Version v1
Dataset Open

Experimental Repository for "Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning"

Authors/Creators

  • 1. Anonymous

Description

Code and Data supplement to "Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning"

Files

cutting-to-the-core.zip

Files (37.4 MB)

Name Size Download all
md5:b4487aad5f96faffdf2e379413a3889c
37.4 MB Preview Download