Continuing the page kept by Gerhard Woeginger, 1996–2016.
Post-2016 Register census entry 144
A proof that P is not equal to NP
A post-2016 Register census entry for a claimed P ≠ NP result by Akram Louiz. It was not part of Woeginger’s frozen list and remains an unadjudicated candidate.
The Register publishes this census record without endorsing or adjudicating the mathematical claim.
Unadjudicated does not mean endorsed.
No refutation is recorded in the census data. Absence of a located response is not evidence that none exists.
Register census note
Inclusion basis
A journal-published article in the window expressly claims P≠NP.
Links recorded by the census
The same link-list treatment is used across both corpora. These 63 post-2016 URLs carry the census’s dated link state; the 45-of-174 link-rot statistic remains explicitly historical.
Link status recorded by the census on 24 July 2026. This dated census status is separate from the held 174-link historical HEAD probe.
Post-2016 census provenance
Source
post-2016 discovery sweep
Venue type
journal
Venue
WSEAS Transactions on Computers 22, 159–170
Status
published
Discovery queries
Akram Louiz "P ≠ NP" WSEAS 2023
"P is not equal to NP" journal proof 2023
Cite this dossier
Plain text
The P versus NP Register. “Dossier 144: A proof that P is not equal to NP.” Post-2016 Register census entry; as of 26 July 2026.
BibTeX
@misc{pvnp-register-144-2026,
author = {{The P versus NP Register}},
title = {A proof that P is not equal to NP},
year = {2026},
note = {Post-2016 census dossier 144; unadjudicated; as of 2026-07-26}
}