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

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autore principale:	Paradise, Christopher
Natura:	Recurso digital
Pubblicazione:	Zenodo 2026
Soggetti:	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
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Descrizione
Descrizione non disponibile.

Documenti analoghi