P = NP via Constructive Bidirectional Polynomial-Time Reduction Between SAT and Binary Search

Fuente: Zenodo
Salvato in:
Dettagli Bibliografici
Autore principale: Aguilera Katayama, Kaoru
Natura: Recurso digital
Pubblicazione: Zenodo 2026
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!