Peter Nightingale
9 papers
· 2013–2026
· 2 conferences
· across top CS/AI conferences
Achievements
๐
Academic Marathon
(10)
๐
Conference Polyglot
(2)
๐
Interdisciplinary Bridge
๐งญ
Keyword Pioneer
๐
Cross-Pollinator
(15)
๐
Conference Pioneer
Conferences
IJCAI (8)
AAAI (1)
Top co-authors
Keywords
constraint satisfaction
(5)
constraint programming
(4)
combinatorial optimization
(3)
local search
(2)
search algorithm
(1)
graph convolutional network
(1)
random forest
(1)
pseudo-boolean constraint
(1)
sat encoding
(1)
symmetry breaking
(1)
abstract argumentation
(1)
model generation
(1)
model reformulation
(1)
essence language
(1)
abstract constraint
(1)
at-most-one constraint
(1)
neural network architecture
(1)
neighbourhood search
(1)
boolean satisfiability
(1)
automated reasoning
(1)