AI Research Group

Dr. Nightingale is interested in highly efficient constraint programming, developing new constraint solving algorithms and implementations, and in modelling and solving problems using constraint programming.

Most of his work is with the Minion solver project, the Dominion constraint solver synthesizer project, and the Savile Row constraint modelling tool.

Previously he has researched quantified constraint programming (QCSP) and its applications. His Ph.D. thesis on this topic can be found here. He developed algorithms (mainly propagation algorithms) for non-binary QCSP, and modelled a factory scheduling problem with uncertainty in QCSP.

Recent Publications