Özgür Akgün

4 papers · 2018–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 · Sprint 🌉 Interdisciplinary Bridge · Bronze

Venues

IJCAI (3) AAAI (1)

Top co-authors

Ian P. Gent (3) Peter Nightingale (3) Ian Miguel (3) Christopher Jefferson (3) James Wetter (1) Felix Ulrich-Oltean (1) Patrick Spracklen (1) Mun See Chang (1) Carlo Cena (1) Zeynep Kiziltan (1)

Research topics

Mathematics & Optimization (3) Optimization (3) Knowledge & Reasoning (1) Machine Learning (1) Core Methods (1) Mathematics (1) Reasoning (1)

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 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 A Framework for Constraint Based Local Search using Essence IJCAI 2018