Holdings: :: Library Catalog

Saved in:

Bibliographic Details
Main Author:	Paradise, Christopher
Format:	Recurso digital
Language:
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:	https://doi.org/10.5281/zenodo.19508205
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet