cff-version: 1.2.0
message: If you use results from this problem page, please cite it as below.
title: "Cairn Commons — Proof-producing SAT solving of open combinatorial instances"
type: dataset
license: CC-BY-4.0
url: "https://cairn-commons.com/problems/sat-hard-combinatorial-instances"
date-released: 2026-09-29
authors:
  - name: Cairn Commons contributors
keywords:
  - "algorithms"
  - "sat-solving"
  - "drat"
  - "lrat"
  - "cube-and-conquer"
  - "certificates"
  - "formal-verification"