Peter Nightingale

About

Peter Nightingale is a Lecturer at the University of York, located in the United Kingdom. His research interests focus on constraint modeling, including automation of identification and tabulation of subproblems, as well as local search tactics over abstract constraint specifications. Additionally, he explores the applications of graph convolutional networks in abstract argumentation and utilizes machine learning techniques to enhance SAT encoding selection for various constraints.