A search-based procedure for nonlinear real arithmetic (Q518407)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A search-based procedure for nonlinear real arithmetic
scientific article

    Statements

    A search-based procedure for nonlinear real arithmetic (English)
    0 references
    28 March 2017
    0 references
    0 references
    0 references
    0 references
    0 references
    nonlinear arithmetic
    0 references
    theory of reals
    0 references
    polynomials
    0 references
    SAT solving
    0 references
    program verification
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references