• University College London Featured PhD Programmes
  • Brunel University London Featured PhD Programmes
  • Ross University School of Veterinary Medicine Featured PhD Programmes
  • University of Warwick Featured PhD Programmes
  • University of Glasgow Featured PhD Programmes
  • University of Nottingham Featured PhD Programmes
  • University of Glasgow Featured PhD Programmes
  • University of Birmingham Featured PhD Programmes
University of Birmingham Featured PhD Programmes
University of Glasgow Featured PhD Programmes
Macquarie University Featured PhD Programmes
Coventry University Featured PhD Programmes
University of Bristol Featured PhD Programmes

SMT-related developments of Cylindrical Algebraic Decomposition

This project is no longer listed in the FindAPhD
database and may not be available.

Click here to search the FindAPhD database
for PhD studentship opportunities
  • Full or part time
    Prof J. Davenport
  • Application Deadline
    Applications accepted all year round
  • Self-Funded PhD Students Only
    Self-Funded PhD Students Only

Project Description

Cylindrical Algebraic Decomposition is a powerful technique for reasoning with polynomial problems over the real numbers. As such, it would be an obvious candidate for a “theory” in the sense of Satisfiability Modulo Theories (SMT). In practice, the two do not mesh so easily, as outlined in Ábrahám,E., Building Bridges between Symbolic Computation and Satisfiability Checking. Proc. ISSAC 2015 (ed. D. Robertz), ACM, New York, pp. 1-6. Professors Davenport and Ábrahám have recently launched a collaboration to bridge this gap, and have identified several specific research channels, which the student could work on. The student would build on past work of the supervisor in Cylindrical Algebraic Decomposition, e.g. in Bradford,R.J., Davenport,J.H., England,M., McCallum,S. & Wilson,D.J., Truth Table Invariant Cylindrical Algebraic Decomposition. To appear in J. Symbolic Computation. http://dx.doi.org/10.1016/j.jsc.2015.11.002. http://arxiv.org/abs/1401.0645.

Funding Notes

We welcome all year round applications from self-funded candidates and candidates who can source their own funding.

Related Subjects

Share this page:

Cookie Policy    X