Ian Miguel
4 papers · 2018–2023 · 1 venue · 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 ↓
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Bronze
Venues
Top co-authors
Research topics
Keywords
constraint programming
(4)
constraint satisfaction
(3)
combinatorial optimization
(2)
local search
(2)
random forest
(1)
boolean satisfiability
(1)
neighbourhood search
(1)
symmetry breaking
(1)
model generation
(1)
model reformulation
(1)
essence language
(1)
abstract constraint
(1)
automated reasoning
(1)
Papers
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
Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence
IJCAI 2019
A Framework for Constraint Based Local Search using Essence
IJCAI 2018