Efficient generation of small interpolants in CNF (Q746773)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Efficient generation of small interpolants in CNF
scientific article

    Statements

    Efficient generation of small interpolants in CNF (English)
    0 references
    0 references
    0 references
    0 references
    20 October 2015
    0 references
    SAT
    0 references
    interpolation
    0 references
    variable elimination
    0 references
    model checking
    0 references

    Identifiers