Javier Larrosa

5 papers · 2013–2024 · 3 venues · 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 ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Bronze 🚀 Conference Pioneer

Venues

AAAI (2) IJCAI (2) PGM (1)

Top co-authors

Emma Rollon (5) Rina Dechter (2) Conrado Martínez (1) Aleksandra Petrova (1)

Research topics

Computer Science (2) Machine Learning (2) Mathematics & Optimization (2) Foundations (2) Optimization (2) Optimization & Theory (2) Artificial Intelligence (1) Bayesian & Probabilistic (1) Learning Types (1)

Keywords

implicit hitting set (2) approximate inference (1) constraint optimization (1) map inference (1) multi-armed bandit (1) maxsat solving (1) bayesian network inference (1) proof system (1) maximum satisfiability (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) combinatorial optimization (1) weighted constraint satisfaction problem (1)

Papers

An Adaptive Implicit Hitting Set Algorithm for MAP and MPE Inference PGM 2024 Theoretical and Empirical Analysis of Cost-Function Merging for Implicit Hitting Set WCSP Solving AAAI 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