SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems

Project: EU Commission

Filter
Article

Search results

  • Article

    Satisfiability checking and symbolic computation

    Ábrahám, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J. H., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. M. & Sturm, T., 1 Dec 2016, In: ACM Communications in Computer Algebra. 50, 4, p. 145-147 3 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    3 Citations (Scopus)
    165 Downloads (Pure)