Published May 13, 2026 | Version v1
Dataset Open

Facrtoring-Learned-Clauses-Artifact

Authors/Creators

  • 1. ROR icon Carnegie Mellon University
  • 2. ROR icon University of Freiburg
  • 3. ROR icon Technion – Israel Institute of Technology

Description

This artifact contains the experimental data for our paper Factoring Learned Clauses, including source code of our solvers, log-files, plots, scripts to produce plots and source code to produce otherwise unavailible benchmarks.

Files

Factoring-Learned-Clauses-Artifact.zip

Files (6.5 MB)

Name Size
md5:0150454fc5c592dbe88515a4e6c698fa
6.5 MB Preview Download