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
1792011
Curriculum-based course timetabling with SAT and MaxSAT
R Asín Achá, R Nieuwenhuis
Annals of Operations Research 218, 71-91, 2014
1202014
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
902009
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
452019
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
262022
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
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
222014
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
162010
Anytime automatic algorithm selection for knapsack
II Huerta, DA Neira, DA Ortega, V Varas, J Godoy, R Asin-Acha
Expert Systems with Applications 158, 113613, 2020
152020
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
62021
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
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
32022
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
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
HNCcorr: combinatorial optimization for neuron identification
R Asín Achá, DS Hochbaum, Q Spaen
Annals of Operations Research 289, 5-32, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20