Javier Larrosa
Universidad Politécnica de Cataluña
H-index: 29
Europe-Spain
Top articles of Javier Larrosa
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Theoretical and Empirical Analysis of Cost-Function Merging for Implicit Hitting Set WCSP Solving | Proceedings of the AAAI Conference on Artificial Intelligence | Javier Larrosa Conrado Martínez Emma Rollon | 2024/3/24 |
On Learning When to Decompose Graphical Models | Aleksandra Petrova Javier Larrosa | 2023/6/4 | |
Check for updates On Learning When to Decompose Graphical Models | Learning and Intelligent Optimization: 17th International Conference, LION 17, Nice, France, June 4–8, 2023, Revised Selected Papers | Aleksandra Petrova iD Javier Larrosa | 2023/10/24 |
Proof complexity for the maximum satisfiability problem and its use in SAT refutations | Journal of Logic and Computation | Emma Rollon Javier Larrosa | 2022/10 |
Choosing the Root of the Tree Decomposition When Solving WCSPs: Preliminary Results | Artificial Intelligence Research and Development: Proceedings of the 23rd International Conference of the Catalan Association for Artificial Intelligence | M Villaret | 2021/10/14 |
Augmenting the power of (partial) MaxSAT resolution with extension | Proceedings of the AAAI Conference on Artificial Intelligence | Javier Larrosa Emma Rollon | 2020/4/3 |
Towards a better understanding of (partial weighted) MaxSAT proof systems | Javier Larrosa Emma Rollon | 2020 |