Showing 1 - 2 results of 2 for search 'Bigatti, A', query time: 0.03s Refine Results
  1. 1
    Satisfiability checking meets symbolic computation

    Satisfiability checking meets symbolic computation by Abraham, E, Abbott, J, Becker, B, Bigatti, A, Brain, M, Buchberger, B, Cimatti, A, Davenport, J, England, M, Fontaine, P, Forrest, S, Griggio, A, Kroening, D, Seiler, W, Sturm, T

    Published 2016
    Conference item
  2. 2
    SC2: Satisfiability checking meets symbolic computation

    SC2: Satisfiability checking meets symbolic computation by Ábrahám, E, Abbott, J, Becker, B, Bigatti, A, Brain, M, Buchberger, B, Cimatti, A, Davenport, J, England, M, Fontaine, P, Forrest, S, Griggio, A, Kroening, D, Seiler, W, Sturm, T

    Published 2016
    Conference item

Search Tools: