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

Department of Computer Science
EPSRC Centre for Doctoral Training in Statistical Applied Mathematics (SAMBa)
International Centre for Higher Education Management (ICHEM)
Mathematical Foundations of Computation

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

3 Citations (SciVal)

209 Downloads (Pure)

1 results

Filter

Finished
SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems
Davenport, J.
EU - Horizon 2020
1/07/16 → 31/08/18
Project: EU Commission

Satisfiability checking and symbolic computation

Projects

Search results

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