Artikel dengan mandat akses publik - Javier LarrosaPelajari lebih lanjut
Tersedia di suatu tempat: 7
Towards a better understanding of (partial weighted) MaxSAT proof systems
J Larrosa, E Rollon
Theory and Applications of Satisfiability Testing–SAT 2020: 23rd …, 2020
Mandat: Government of Spain
Augmenting the power of (partial) MaxSAT resolution with extension
J Larrosa, E Rollon
Proceedings of the AAAI Conference on Artificial Intelligence 34 (02), 1561-1568, 2020
Mandat: Government of Spain
Subproblem ordering heuristics for AND/OR best-first search
W Lam, K Kask, J Larrosa, R Dechter
Journal of Computer and System Sciences 94, 41-62, 2018
Mandat: US National Science Foundation, US Department of Defense, Government of Spain
Residual-guided look-ahead in AND/OR search for graphical models
W Lam, K Kask, J Larrosa, R Dechter
Journal of Artificial Intelligence Research 60, 287-346, 2017
Mandat: US National Science Foundation, US Department of Defense, Government of Spain
Look-ahead with mini-bucket heuristics for MPE
R Dechter, K Kask, W Lam, J Larrosa
Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016
Mandat: US National Science Foundation, Government of Spain
On the impact of subproblem orderings on anytime AND/OR best-first search for lower bounds
W Lam, K Kask, R Dechter, J Larrosa
ECAI 2016, 1567-1568, 2016
Mandat: US National Science Foundation, Government of Spain
Choosing the Root of the Tree Decomposition When Solving WCSPs: Preliminary Results
A Petrova, J Larrosa, E Rollon
Artificial Intelligence Research and Development, 56-65, 2021
Mandat: Government of Spain
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer