Published June 10, 2025 | Version v1
Dataset Open

Practically Feasible Proof Logging for Pseudo-Boolean Optimization: Experimental Data

Creators

  • 1. ROR icon Lund University
  • 2. ROR icon University of Copenhagen
  • 3. Université d'Artois Faculté des Sciences Jean Perrin
  • 4. EDMO icon Chalmers University of Technology
  • 5. ROR icon University of Gothenburg
  • 6. ROR icon Institute for Infocomm Research
  • 7. ROR icon Nanyang Technological University
  • 8. ROR icon University of Auckland

Files

Files (26.2 MB)

Name Size Download all
md5:1616b2fa1cbf6379be2cf8bb4a560195
26.2 MB Download

Additional details

Related works

Is supplement to
Conference paper: 10.4230/LIPIcs.CP.2025.42 (DOI)