Deterministic SAT Decision Under Restrictions: Decision Signatures, Residual Structure, and a Structural Reduction of the P vs. NP Question

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Schenk, Philipp
Format:	Recurso digital
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:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet