Satisfiability checking and symbolic computation

E. Ábrahám, John Abbott, B. Becker, A. M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J. H. Davenport, M. England, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W. M. Seiler, T. Sturm

Research output: Contribution to journal › Article › peer-review

3 Citations (SciVal)
209 Downloads (Pure)

Search results