Peter Nightingale
9 papers · 2013–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Half
🌉
Interdisciplinary Bridge · Bronze
🏆
Keyword Champion
(5)
🚀
Conference Pioneer
Top co-authors
Research topics
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)
Papers
Approximating Problems in Abstract Argumentation with Graph Convolutional Networks (Abstract Reprint)
AAAI 2026
Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract)
IJCAI 2023
Learning When to Use Automatic Tabulation in Constraint Model Reformulation
IJCAI 2023
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract)
IJCAI 2023
Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence
IJCAI 2019
A Framework for Constraint Based Local Search using Essence
IJCAI 2018
Complexity of n-Queens Completion (Extended Abstract)
IJCAI 2018
Extending Simple Tabular Reduction with Short Supports
IJCAI 2013
The Extended Global Cardinality Constraint: An Empirical Survey (Extended Abstract)
IJCAI 2013