Pages that link to "Item:Q3796747"
From MaRDI portal
The following pages link to A Natural NP-Complete Problem with a Nontrivial Lower Bound (Q3796747):
Displaying 12 items.
- One unary function says less than two in existential second order logic (Q286970) (← links)
- NP-completeness of the energy barrier problem without pseudoknots and temporary arcs (Q537858) (← links)
- First-order spectra with one variable (Q909462) (← links)
- On the bounded version of Hilbert's tenth problem (Q1407606) (← links)
- Sorting, linear time and the satisfiability problem (Q1817067) (← links)
- A nonasymptotic lower time bound for a strictly bounded second-order arithmetic (Q2498915) (← links)
- (Q3455999) (← links)
- (Q3522544) (← links)
- NP-Completeness of the Direct Energy Barrier Problem without Pseudoknots (Q3654673) (← links)
- Fifty years of the spectrum problem: survey and new results (Q4902770) (← links)
- Algebraic and logical characterizations of deterministic linear time classes (Q5048946) (← links)
- (Q5687692) (← links)