conftrace_

Ian P. Gent

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

Venues

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)

Research topics

Mathematics & Optimization (3) Optimization (3) Mathematics (2) Knowledge & Reasoning (1) Reasoning (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