Jesús Giráldez-Cru
4 papers
· 2015–2023
· 1 conference
· across top CS/AI conferences
Achievements
🏃
Academic Marathon
(8)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🐝
Cross-Pollinator
(11)
Conferences
IJCAI (4)
Top co-authors
Keywords
sat solver
(2)
boolean satisfiability
(1)
constraint satisfaction
(1)
mixed integer programming
(1)
proof search
(1)
constraint programming
(1)
conflict-driven clause learning
(1)
resolution proof system
(1)
maximum satisfiability
(1)
global constraint
(1)
meeting scheduling
(1)
random instance
(1)
combinatorial optimization
(1)
cdcl solver
(1)