Follow
Roberto Asín-Achá
Title
Cited by
Cited by
Year
Cardinality networks: a theoretical and empirical study
R Asín, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell
Constraints 16, 195-221, 2011
1812011
Curriculum-based course timetabling with SAT and MaxSAT
R Asín Achá, R Nieuwenhuis
Annals of Operations Research 218, 71-91, 2014
1232014
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
922009
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
462019
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
352008
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
322022
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
232014
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
222015
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
182020
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
172010
A column generation approach and new bounds for the car sequencing problem
E Jahren, RA Achá
Annals of Operations Research 264, 193-211, 2018
122018
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
72021
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
62022
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
52014
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
32022
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
32022
The MSUSorting MaxSAT solver
E Jahren, RA Achá
MaxSAT Evaluation Solver and Benchmark Descriptions, 15, 2017
22017
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
22016
Cache performance study of portfolio-based parallel CDCL SAT solvers
R Asín, J Olate, L Ferres
arXiv preprint arXiv:1309.3187, 2013
22013
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
12020
The system can't perform the operation now. Try again later.
Articles 1–20