Faculty of Engineering, Environment & Computing

Research Output 1975 2019

Filter
Meeting Abstract
2016
1 Citations

Satisfiability Checking and Symbolic Computation

Abraham, 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. Dec 2016 In : ACM Communications in Computer Algebra. 50, 4, p. 145-147

Research output: Contribution to journalMeeting Abstract

Open Access
File
Symbolic Computation
Decision Procedures
Interaction
Community
2015
Open Access
File
Hyperphosphatemia
Posters
Edetic Acid
Phosphates
Prospective Studies