Jesús Giráldez-Cru
4 papers · 2015–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
🐣
Hot Topic Early Bird
Venues
Top co-authors
Research topics
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)