Skip to content
Descubridor Institucional UMAR
Inicio
Búsqueda avanzada
Explorar
Inicio
Búsqueda avanzada
Explorar
Login
Language
English
Deutsch
Español
Français
Italiano
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
IECZ: Balanced 3XOR→3SAT — Size-Aware Artifact Bundle (v1.0.1)
IECZ: Balanced 3XOR→3SAT — Size-Aware Artifact Bundle (v1.0.1)
Fuente:
Zenodo
Saved in:
Bibliographic Details
Main Author:
Lela, Marko
Format:
Recurso digital
Language:
English
Published:
Zenodo
2025
Subjects:
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 Access:
Acceder al recurso
Tags:
Add Tag
No Tags, Be the first to tag this record!
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Holdings
Description
Comments
Similar Items
Staff View
Internet
https://doi.org/10.5281/zenodo.17141362
Similar Items
Certified XOR-Spectral Normalization for SAT: Entailed Parity Detection, Elimination, and DRAT-Compatible Progress
by: Paradise, Christopher
Published: (2026)
Analysis and Design of A Zero Voltage Transition Dc-Dc Boost Converter
by: Genesia C Tavares, et al.
Published: (2022)
MEASUREMENT OF CHUA CHAOS AND ITS APPLICATIONS
by: Ricardo Núñez Pérez
Published: (2008)
Pauli Antisymmetry from F2 XOR-Closure: A Discrete-Geometric Derivation of Composite Baryon Statistics
by: Elliman, David
Published: (2026)
Complexity of XOR/XNOR Boolean Functions: A Model using Binary Decision Diagrams and Back Propagation Neural Networks
by: Ali Assi
Published: (2007)