Cover Image

Saved in:
Bibliographic Details
Main Author: Schenk, Philipp
Format: Recurso digital
Language:
Published: Zenodo 2025
Subjects:
deterministic decision
P vs NP
PvsNP
SAT
restriction signatures
partial assignments
self-reducibility
residual decision behavior
decision without state
information incompression
structural complexity theory
descriptive complexity
fixed-point logic
proof complexity
Tseitin contradictions
CFI constructions
decision stability
polynomial time
complexity theory foundations
Online Access:https://doi.org/10.5281/zenodo.18027205
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://doi.org/10.5281/zenodo.18027205

Similar Items