IECZ: Balanced 3XOR→3SAT — Size-Aware Artifact Bundle (v1.0.1)

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Lela, Marko
Format:	Recurso digital
Sprache:	Englisch
Veröffentlicht:	Zenodo 2025
Schlagworte:	AC^0, switching lemma, 3XOR, 3SAT, total variation, measure-preserving reduction, MDL, description length, parity, average-case complexity, lower bounds, random hypergraph, 2-core, P-uniform circuits Computer Science — Computational Complexity Theoretical Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online