Latest Research in Computational Graph Logic and Formal Complexity

Top Research Topics in Computational Graph Logic and Formal Complexity

• Combinatorics — 576 papers
• Data Structures and Algorithms — 208 papers
• Logic in Computer Science — 106 papers
• Computational Complexity — 73 papers
• Logic — 62 papers
• Advanced Graph Theory Research — 56 papers
• Computational Geometry — 45 papers
• Discrete Mathematics — 34 papers
• Computability, Logic, AI Algorithms — 34 papers
• Logic, programming, and type systems — 33 papers

Highest-Cited Papers

1. Strong Equivalence in Answer Set Programming with Constraints (1 citations)
2. On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations (1 citations)
3. From amortized to worst case delay in enumeration algorithms (3 citations)
4. Block designs and systems of pairs
5. The $\mathsf{AC}^0$-Complexity Of Visibly Pushdown Languages (1 citations)
6. Quantum algorithms for path and cycle containment problems
7. Locality in Residuated-Lattice Structures
8. Where Formal Libraries Spend Their Axioms: A Cross-Foundation Measurement, and an Avoidable Classical Dependency in Lean's omega
9. Reciprocal Mean Square Index of Graphs
10. The Maximum Number of Triangles in Graphs Without Cycles of Length 0mod5
11. Beyond Kernel Verification: The Missing Engineering Layer of Mathematics
12. Cyclic basis orderings of uniformly dense rank-three matroids
13. Cyclic basis orderings of uniformly dense rank-three matroids
14. LCC-S vs. LCC-LCC: Efficient Wireless Charging for Underwater Drones Under Seawater Conditions
15. A Degree–Independent-Domination Bound for the Saturation Number: A Conjecture
16. Connected Counterexamples for Target Ramsey Numbers
17. Where Formal Libraries Spend Their Axioms: A Cross-Foundation Measurement, and an Avoidable Classical Dependency in Lean's omega
18. A Degree-Spread Bound Between Independent Domination and Minimum Maximal Matchings: A Conjecture
19. A Note on Extendable Sets of Colorings and Rooted Minors
20. Connected Counterexamples for Target Ramsey Numbers

Sub-Regions

• Combinatorics — 883 papers
• Data Structures and Algorithms — 557 papers
• Logic in Computer Science — 177 papers
• Advanced DC-DC Converters — 125 papers
• Sensorless Control of Electric Motors — 82 papers
• Electric Motor Design and Analysis — 46 papers