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 journalArticlepeer-review

3 Citations (SciVal)
209 Downloads (Pure)

Search results