Certified XOR-Spectral Normalization for SAT: Entailed Parity Detection, Elimination, and DRAT-Compatible Progress

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Paradise, Christopher
Format:	Recurso digital
Published:	Zenodo 2026
Subjects:	certified XOR normalization, SAT proof systems, entailed parity detection, XOR elimination, DRAT-compatible learning, FRAT-compatible implications, algebraic SAT methods, Gaussian elimination over F2, certificate-driven SAT, auxiliary theory modules
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet