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

Project: EU Commission


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
    3 Citations (Scopus)
    165 Downloads (Pure)