conftrace_

Ian P. Gent

4 papers · 2018–2026 · 2 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓

🏃 Academic Marathon (5) 🌍 Conference Polyglot (2) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (14)

Conferences

IJCAI (3) AAAI (1)

Top co-authors

Christopher Jefferson (4) Özgür Akgün (3) Peter Nightingale (3) Ian Miguel (2) James Wetter (1) Alan M. Frisch (1) András Z. Salamon (1) Patrick Spracklen (1) Mun See Chang (1) Saad Attieh (1)

Keywords

constraint satisfaction (3) constraint programming (3) combinatorial optimization (2) symmetry breaking (2) phase transition (1) search algorithm (1) automated reasoning (1) local search (1) abstract data structure (1) model generation (1) neighbourhood search (1) discrete mathematics (1)

Papers

Faster Symmetry Breaking Constraints for Abstract Structures AAAI 2026 Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract) IJCAI 2023 A Framework for Constraint Based Local Search using Essence IJCAI 2018 Complexity of n-Queens Completion (Extended Abstract) IJCAI 2018