Özgür Akgün
4 papers · 2018–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🏃
Academic Marathon
(5)
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
IJCAI (3)
AAAI (1)
Top co-authors
Keywords
constraint programming
(4)
constraint satisfaction
(3)
combinatorial optimization
(2)
symmetry breaking
(2)
discrete mathematics
(1)
random forest
(1)
boolean satisfiability
(1)
local search
(1)
abstract data structure
(1)
model generation
(1)
model reformulation
(1)
neighbourhood search
(1)
automated reasoning
(1)
Papers
Faster Symmetry Breaking Constraints for Abstract Structures
AAAI 2026
Learning When to Use Automatic Tabulation in Constraint Model Reformulation
IJCAI 2023
Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract)
IJCAI 2023
A Framework for Constraint Based Local Search using Essence
IJCAI 2018