Symbolic computation and satisfiability checking

J.H. Davenport, Matthew England, A. Griggio, T. Sturm, C Tinelli

    Research output: Contribution to journal › Editorial

    7 Citations (Scopus)
    130 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Symbolic computation and satisfiability checking'. Together they form a unique fingerprint.

    Computer Science