• University of Leeds Featured PhD Programmes
  • Carlos III Health Institute Featured PhD Programmes
  • University of Glasgow Featured PhD Programmes
  • University of Cambridge Featured PhD Programmes
  • University of Leeds Featured PhD Programmes
  • University of Leeds Featured PhD Programmes
  • London School of Economics and Political Science Featured PhD Programmes
  • University of Mannheim Featured PhD Programmes
University of York Featured PhD Programmes
King Abdullah University of Science and Technology (KAUST) Featured PhD Programmes
Manchester Metropolitan University Featured PhD Programmes
University of Oxford Featured PhD Programmes
University of Manchester Featured PhD Programmes

Solving linear and non-linear constraints using logic-based methods

  • Full or part time
  • Application Deadline
    Applications accepted all year round
  • Competition Funded PhD Project (Students Worldwide)
    Competition Funded PhD Project (Students Worldwide)

Project Description

Solving systems of linear inequalities and closely related optimisation problems are fundamental mathematical problems with a wide range of applications such verification, constraint solving, planning and scheduling. Recently we have discovered two novel algorithms for solving linear constraints: conflict resolution [1] and bound propagation [2]. These methods were inspired by techniques which made propositional satisfiability scalable to industrial-size problems: unit propagation, backjumping and learning. This is just one example of the sort of project that might be available in this research group. The precise project will be decided upon in consultation with the supervisor.


Requirements: Candidates should have a strong interest in logic/math, willingness to program and experiment with new ideas.

Funding Notes

Candidates who have been offered a place for PhD study in the School of Computer Science may be considered for funding by the School. Further details on School funding can be found at: View Website.

How good is research at University of Manchester in Computer Science and Informatics?

FTE Category A staff submitted: 44.86

Research output data provided by the Research Excellence Framework (REF)

Click here to see the results for all UK universities

Email Now

Insert previous message below for editing? 
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here
* required field
Send a copy to me for my own records.
Email Sent

Share this page:

Cookie Policy    X