Ian Miguel
4 papers
· 2018–2023
· 1 conference
· across top CS/AI conferences
Achievements
🏃
Academic Marathon
(5)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
IJCAI (4)
Top co-authors
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)