Latest Research in Computational Complexity Logic

747 research papers · 0.0 average citations · 2026 median publication year

Top Research Topics in Computational Complexity Logic

Highest-Cited Papers

  1. Topological Mapping of NP-Complete Complexity Classes onto Fractal Manifolds: A Framework for Direct P vs NP Resolution
  2. Absence of Rashba, Winding, and Möbius Topology in Submitted Abstracts — E8 Intelligence Research
  3. Absence of Rashba, Winding, and Möbius Topology in Submitted Abstracts — E8 Intelligence Research
  4. Depth-one disjoint-type guessing and Kunen's interval-hitting principle
  5. Square-Root Barriers in Prime-Log First-Return Problems: Moment, Product, Lattice, and Padé Obstructions
  6. Square-Root Barriers in Prime-Log First-Return Problems: Moment, Product, Lattice, and Padé Obstructions
  7. Topological Mapping of NP-Complete Complexity Classes onto Fractal Manifolds: A Framework for Direct P vs NP Resolution
  8. An independent exact verification of the 2026 counterexample to Goemans' unsplittable-flow cost conjecture, with the violation constant it forces
  9. On Revisiting Gödel's Incompleteness and Turing's Undecidability of the Halting Problem
  10. The Bottom of the Shub–Smale Tau Conjecture: an Exact Census of Integer Roots for Constant-Free Straight-Line Programs of Length at Most Eight
  11. The Weight Algebra of Information States: A Two-Layer Commutative Semiring for Superposition and Pruning
  12. On Revisiting Gödel's Incompleteness and Turing's Undecidability of the Halting Problem
  13. Catalan Bounds for Symmetric Strength‐Two Orthogonal Arrays
  14. Gödel's Limits: Unprovable Truths and the Ordinal Strength of Formal Systems — E8 Intelligence Research
  15. Gödel's Limits: Unprovable Truths and the Ordinal Strength of Formal Systems — E8 Intelligence Research
  16. The Bottom of the Shub–Smale Tau Conjecture: an Exact Census of Integer Roots for Constant-Free Straight-Line Programs of Length at Most Eight
  17. Orientation-Sensitive Return Traces in a Four-State Graph Dynamics with Invertible Local Updates
  18. A Permutation Grid with 155 Rook Placements
  19. An independent exact verification of the 2026 counterexample to Goemans' unsplittable-flow cost conjecture, with the violation constant it forces
  20. Generalized bipolar fuzzy GK-subalgebras and ideals in GK-algebras

Sub-Regions

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
L2 Region - - 2026 Sep Q3

Computational Complexity Logic

747 papers

Top Topics (10)

Computability, Logic, AI Algorithms140
Combinatorics78
Information Theory75
Logic27
Data Structures and Algorithms26
Probability21
Computational Complexity19
Benford’s Law and Fraud Detection18
Cellular Automata and Applications14
Intelligence, Security, War Strategy13

Top Publications (20)

1.Topological Mapping of NP-Complete Complexity Classes onto Fractal Manifolds: A Framework for Direct P vs NP Resolution2.Absence of Rashba, Winding, and Möbius Topology in Submitted Abstracts — E8 Intelligence Research3.Absence of Rashba, Winding, and Möbius Topology in Submitted Abstracts — E8 Intelligence Research4.Depth-one disjoint-type guessing and Kunen's interval-hitting principle5.Square-Root Barriers in Prime-Log First-Return Problems: Moment, Product, Lattice, and Padé Obstructions6.Square-Root Barriers in Prime-Log First-Return Problems: Moment, Product, Lattice, and Padé Obstructions7.Topological Mapping of NP-Complete Complexity Classes onto Fractal Manifolds: A Framework for Direct P vs NP Resolution8.An independent exact verification of the 2026 counterexample to Goemans' unsplittable-flow cost conjecture, with the violation constant it forces9.On Revisiting Gödel's Incompleteness and Turing's Undecidability of the Halting Problem10.The Bottom of the Shub–Smale Tau Conjecture: an Exact Census of Integer Roots for Constant-Free Straight-Line Programs of Length at Most Eight11.The Weight Algebra of Information States: A Two-Layer Commutative Semiring for Superposition and Pruning12.On Revisiting Gödel's Incompleteness and Turing's Undecidability of the Halting Problem13.Catalan Bounds for Symmetric Strength‐Two Orthogonal Arrays14.Gödel's Limits: Unprovable Truths and the Ordinal Strength of Formal Systems — E8 Intelligence Research15.Gödel's Limits: Unprovable Truths and the Ordinal Strength of Formal Systems — E8 Intelligence Research16.The Bottom of the Shub–Smale Tau Conjecture: an Exact Census of Integer Roots for Constant-Free Straight-Line Programs of Length at Most Eight17.Orientation-Sensitive Return Traces in a Four-State Graph Dynamics with Invertible Local Updates18.A Permutation Grid with 155 Rook Placements19.An independent exact verification of the 2026 counterexample to Goemans' unsplittable-flow cost conjecture, with the violation constant it forces20.Generalized bipolar fuzzy GK-subalgebras and ideals in GK-algebras

Sub-Regions (6)

AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.