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

Research Output

Research Output per year

2016 2018

• 4 Conference contribution
• 1 Article

Research Output per year

Research Output per year

Search results

• 2016

  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 journal › Article › peer-review

  Open Access

  File

  • Symbolic Computation
  • Community
  • Decision Procedures
  • Interaction
  3 Citations (Scopus)

  161 Downloads (Pure)