Javier Larrosa
5 papers
· 2013–2024
· 3 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(3)
π
Academic Marathon
(11)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Cross-Pollinator
(15)
π
Conference Pioneer
Conferences
AAAI (2)
IJCAI (2)
PGM (1)
Keywords
combinatorial optimization
(1)
constraint optimization
(1)
maxsat solving
(1)
proof system
(1)
maximum satisfiability
(1)
implicit hitting set
(1)
weighted constraint satisfaction
(1)
cost-function merging
(1)
maxsat resolution
(1)
extension rule
(1)
pigeon hole problem
(1)
lower bound extraction
(1)
hitting set
(1)
weighted constraint satisfaction problem
(1)