@article{LITOW201891,
    Abstract = {We identify a transfer method from bounded existentially quantified Diophantine equations to formulas of Tarski algebra, the first order theory of the real field. The method is applied to show that NP is contained in ⋃n=1∞Dtime(2a⋅logO(1)n), where a depends only on the given Diophantine equation.},
    Author = {Litow, B.},
    File = {A transfer method from bounded existential Diophantine equations to Tarski algebra formulas - 1-s2.0-S0304397517307417-main.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {Bounded existential Diophantine equations, Tarski algebra, Size bounded quadratic residue problem, Subexponential time algorithms},
    Pages = {91-95},
    Title = {A transfer method from bounded existential Diophantine equations to Tarski algebra formulas},
    URL = {https://www.sciencedirect.com/science/article/pii/S0304397517307417},
    Volume = {708},
    Year = {2018},
    bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/S0304397517307417},
    bdsk-url-2 = {https://doi.org/10.1016/j.tcs.2017.10.013},
    date-added = {2023-01-23 14:40:38 +0100},
    date-modified = {2023-01-23 14:40:38 +0100},
    doi = {10.1016/j.tcs.2017.10.013}
}

@article{LITOW201891, Abstract = {We identify a transfer method from bounded existentially quantified Diophantine equations to formulas of Tarski algebra, the first order theory of the real field. The method is applied to show that NP is contained in ⋃n=1∞Dtime(2a⋅logO(1)n), where a depends only on the given Diophantine equation.}, Author = {Litow, B.}, File = {A transfer method from bounded existential Diophantine equations to Tarski algebra formulas - 1-s2.0-S0304397517307417-main.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {Bounded existential Diophantine equations, Tarski algebra, Size bounded quadratic residue problem, Subexponential time algorithms}, Pages = {91-95}, Title = {A transfer method from bounded existential Diophantine equations to Tarski algebra formulas}, URL = {https://www.sciencedirect.com/science/article/pii/S0304397517307417}, Volume = {708}, Year = {2018}, bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/S0304397517307417}, bdsk-url-2 = {https://doi.org/10.1016/j.tcs.2017.10.013}, date-added = {2023-01-23 14:40:38 +0100}, date-modified = {2023-01-23 14:40:38 +0100}, doi = {10.1016/j.tcs.2017.10.013} }