Roberto Asín-Achá
Roberto Asín-Achá
Vahvistettu sähköpostiosoite verkkotunnuksessa udec.cl - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Cardinality networks: a theoretical and empirical study
R Asín, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell
Constraints 16 (2), 195-221, 2011
1572011
Curriculum-based course timetabling with SAT and MaxSAT
RA Achá, R Nieuwenhuis
Annals of Operations Research 218 (1), 71-91, 2014
992014
Cardinality networks and their applications
R Asín, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell
International Conference on Theory and Applications of Satisfiability …, 2009
792009
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
252008
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
232019
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
182015
Practical algorithms for unsatisfiability proof and core generation in SAT solvers
R Asin Acha, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell
Ai Communications 23 (2-3), 145-157, 2010
152010
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
142014
A column generation approach and new bounds for the car sequencing problem
E Jahren, RA Achá
Annals of Operations Research 264 (1), 193-211, 2018
32018
Time-Bounded Best-First Search.
C Hernández, R Asín, JA Baier
SOCS, 2014
32014
HNCcorr: combinatorial optimization for neuron identification
RA Achá, DS Hochbaum, Q Spaen
Annals of Operations Research, 1-28, 2019
22019
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
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
12020
Resizing cardinality constraints for maxsat
E Jahren, R Asín Achá
AI Communications 31 (4), 355-367, 2018
12018
Improving IntSat by expressing disjunctions of bounds as linear constraints
R Asín, M Bezem, R Nieuwenhuis
AI Communications 29 (1), 205-209, 2016
12016
Comments on: An overview of curriculum-based course timetabling
R Asín
Top 23 (2), 350-354, 2015
12015
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
2020
Curriculum-based Course Timetabling with SAT and MaxSAT
R Nieuwenhuis, R Asín
PATAT Conferences, 2014
2014
Sat-based techniques for combinatorial optimization
RJA Acha
Universitat Politècnica de Catalunya (UPC), 2010
2010
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20