| Cardinality networks: a theoretical and empirical study R Asín, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell Constraints 16, 195-221, 2011 | 181 | 2011 |
| Curriculum-based course timetabling with SAT and MaxSAT R Asín Achá, R Nieuwenhuis Annals of Operations Research 218, 71-91, 2014 | 128 | 2014 |
| Cardinality networks and their applications R Asín, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009 | 96 | 2009 |
| HNCcorr: A novel combinatorial approach for cell identification in calcium-imaging movies Q Spaen, R Asín-Achá, SN Chettih, M Minderer, C Harvey, DS Hochbaum eneuro 6 (2), 2019 | 52 | 2019 |
| Efficient generation of unsatisfiability proofs and cores in SAT R Asín, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell International Conference on Logic for Programming Artificial Intelligence …, 2008 | 35 | 2008 |
| Improving the state-of-the-art in the traveling salesman problem: An anytime automatic algorithm selection II Huerta, DA Neira, DA Ortega, V Varas, J Godoy, R Asin-Acha Expert Systems with Applications 187, 115948, 2022 | 34 | 2022 |
| Making A* run faster than D*-Lite for path-planning in partially known terrain C Hernández, J Baier, R Asín Proceedings of the International Conference on Automated Planning and …, 2014 | 25 | 2014 |
| Reusing previously found A* paths for fast goal-directed navigation in dynamic terrain C Hernández, R Asín, J Baier Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 22 | 2015 |
| Anytime automatic algorithm selection for knapsack II Huerta, DA Neira, DA Ortega, V Varas, J Godoy, R Asín-Achá Expert Systems with Applications 158, 113613, 2020 | 18 | 2020 |
| Practical algorithms for unsatisfiability proof and core generation in SAT solvers R Asín Achá, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell Ai Communications 23 (2-3), 145-157, 2010 | 17 | 2010 |
| A column generation approach and new bounds for the car sequencing problem E Jahren, RA Achá Annals of Operations Research 264, 193-211, 2018 | 12 | 2018 |
| A new boolean encoding for mapf and its performance with asp and maxsat solvers RA Achá, R López, S Hagedorn, JA Baier Proceedings of the International Symposium on Combinatorial Search 12 (1), 11-19, 2021 | 7 | 2021 |
| Multi-agent path finding: A new boolean encoding RA Achá, R López, S Hagedorn, JA Baier Journal of Artificial Intelligence Research 75, 323-350, 2022 | 6 | 2022 |
| Time-bounded best-first search C Hernández, R Asin, J Baier Proceedings of the International Symposium on Combinatorial Search 5 (1), 97-104, 2014 | 5 | 2014 |
| Fast algorithms for the Capacitated Vehicle Routing Problem using Machine Learning selection of algorithm’s parameters R Asın-Achá, O Goldschmidt, DS Hochbaum, I Huerta International Conference on Knowledge Discovery and Information Retrieval, 29-39, 2022 | 4 | 2022 |
| Speeding up compact planar graphs by using shallower trees A Irribarra-Cortés, J Fuentes-Sepúlveda, D Seco, R Asín 2022 Data Compression Conference (DCC), 282-291, 2022 | 3 | 2022 |
| The MSUSorting MaxSAT solver E Jahren, RA Achá MaxSAT Evaluation Solver and Benchmark Descriptions, 15, 2017 | 2 | 2017 |
| Time-bounded best-first search for reversible and non-reversible search graphs C Hernández, JA Baier, R Asín Journal of Artificial Intelligence Research 56, 547-571, 2016 | 2 | 2016 |
| Cache performance study of portfolio-based parallel CDCL SAT solvers R Asín, J Olate, L Ferres arXiv preprint arXiv:1309.3187, 2013 | 2 | 2013 |
| Multipath Adaptive A*: Factors That Influence Performance in Goal-Directed Navigation in Unknown Terrain CH Ulloa, JA Baier, R Asin-Acha IEEE Access 8, 116724-116732, 2020 | 1 | 2020 |
Robert NieuwenhuisProfessor of Computer Science, Tech. Univ. Catalonia (UPC), BarcelonaDirección de correo verificada de cs.upc.edu
