Department of Computing
Quantitative Analysis and Decision Science
Computational Optimisation Group
Home
Events
Grants
People
Alumni
Projects
Publications
Teaching
CO343 Operations Research
CO422 Computational Finance
CO477 Computational Optimisation
Join us
Alumni
Home
Publications
Satisfiability Modulo Theories for Process Systems Engineering
Search for:
Recent Posts
Seminar with Dr Bissan Ghadder
Seminar with Prof Miguel Anjos
STEM for Britain acceptance
Runner-Up Presentation Award at PSE@ResearchDayUK
Best Quality Poster to Simon Olofsson
Back
Satisfiability Modulo Theories for Process Systems Engineering
