Følg
Roberto Asín-Achá
Titel
Citeret af
Citeret af
År
Cardinality networks: a theoretical and empirical study
R Asín, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell
Constraints 16, 195-221, 2011
1922011
Curriculum-based course timetabling with SAT and MaxSAT
R Asín Achá, R Nieuwenhuis
Annals of Operations Research 218, 71-91, 2014
1322014
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
1042009
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
572019
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
362022
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
362008
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
252014
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
192020
Practical algorithms for unsatisfiability proof and core generation in SAT solvers
B Konev, RA Schmidt, S Schulz, R Asín Achá, R Nieuwenhuis, A Oliveras, ...
Ai Communications 23 (2-3), 145-157, 2010
182010
A column generation approach and new bounds for the car sequencing problem
E Jahren, RA Achá
Annals of Operations Research 264, 193-211, 2018
132018
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
72022
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
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
52022
Time-bounded best-first search
C Hernández, R Asín, 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
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
32020
HNCcorr: combinatorial optimization for neuron identification
R Asín Achá, DS Hochbaum, Q Spaen
Annals of Operations Research 289, 5-32, 2020
32020
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
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–20