// 05 — Research
Research & validation
Grounded in classical SAT literature and validated against community-standard instance libraries. Everything we claim is reproducible.
Technical notes
Internal whitepapers on Tseitin transformation, AI-assisted input normalization, and structure-aware variable ordering. Drafts under NDA.
Reproducibility packages
Container images, instance manifests, seeds, raw logs, and DRAT proofs per tagged release.
Benchmark protocol
PAR-2 scoring on SATLIB and SAT Competition Main/Crafted tracks, single-thread and portfolio modes.
Open tooling
CNF utilities, DIMACS validators, DRAT-trim integration, and the benchmark harness will be open-sourced ahead of the core engine.