Javier Larrosa
5 papers · 2013–2024 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π 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)
Papers
Theoretical and Empirical Analysis of Cost-Function Merging for Implicit Hitting Set WCSP Solving
AAAI 2024
An Adaptive Implicit Hitting Set Algorithm for MAP and MPE Inference
PGM 2024
Augmenting the Power of (Partial) MaxSat Resolution with Extension
AAAI 2020
Limited Discrepancy AND/OR Search and Its Application to Optimization Tasks in Graphical Models
IJCAI 2016
Semiring-Based Mini-Bucket Partitioning Schemes
IJCAI 2013