Research Output

Filter
Editorial
2020

Symbolic computation and satisfiability checking

Davenport, J. H., England, M., Griggio, A., Sturm, T. & Tinelli, C., 20 Mar 2020, In : Journal of Symbolic Computation. 100, p. 1-10 10 p.

Research output: Contribution to journalEditorial