PDI - Resultado de Búsqueda

Roberto Javier Asín Achá

Profesor Asistente

Universidad Técnica Federico Santa María

San Joaquín, Chile

Combinatorial Optimization, SAT, TIMETABLING, Automatic Algorithm Selection, Heuristic Search

Ciencias de la Computación, Universidad Politécnica de Cataluña. España, 2010
Ingeniería de Sistemas, Universidad Católica Boliviana. Bolivia, 2003

Profesor Asistente Full Time

UNIVERSIDAD DE CONCEPCION

Facultad de Ingeniería

Concepcion, Chile

2016 - At present
Profesor Asistente Full Time

Universidad Catolica de la Santisima Concepcion

Facultad de Ingeniería

Concepcion, Chile

2011 - 2016
Research Assitant Full Time

Universidad Politecnica de Cataluña

Facultad de Informática

Barcelona, España

2009 - 2011
Visiting Scholar (Postdoctorate) (Becas Chile de Postdoctorado) Full Time

UNIVERSITY OF CALIFORNIA-BERKELEY

Berkeley, Ca, Estados Unidos

2016 - 2017

Desarrollador Web Full Time

Factor Ñ S.R.L

Cochabamba, Bolivia

2004 - 2005
Profesor de computación Part Time

Colegio San Agustín

Cochabamba, Chile

1998 - 2001

Representante de Universidades del Directorio de las Olimpiadas Chilenas de Informática (OCI) para estudiantes de educación media (2013-actualidad)


A Theoretical Bound Which Improves the Performance of Compilation-Based Multi-Agent Path Finding Lopez, Rodrigo; Asín-Achá, Roberto; Baier, Jorge A. Article ISI IEEE ACCESS (2025)
Automatic algorithm selection for Pseudo-Boolean optimization with given computational time limits Pezo, Catalina; Hochbaum, Dorit Article ISI COMPUTERS & OPERATIONS RESEARCH (2025)
Heuristic-based computation of tailored spanning trees to speed up compact planar graphs Irribarra-Cortés, A; Asin-Acha, R; Fuentes-Sepúlveda, J; Seco, D. Article ISI COMPUTER JOURNAL (2025)
Anytime Automatic Algorithm Selection for the Multi-Agent Path Finding Problem Zapata, Angelo Article ISI IEEE ACCESS (2024)
Selecting fast algorithms for the capacitated vehicle routing problem with machine learning techniques Asin-Acha, R; Espinoza A.; Goldschmidt, O; Hochbaum, DS; Huerta, II Article ISI NETWORKS (2024)
Improving the state-of-the-art in the Traveling Salesman Problem: An Anytime Automatic Algorithm Selection Article ISI, Scopus EXPERT SYSTEMS WITH APPLICATIONS (2022)
Multi-Agent Path Finding: A New Boolean Encoding Article ISI SCOPUS JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (2022)
Anytime automatic algorithm selection for knapsack Article ISI EXPERT SYSTEMS WITH APPLICATIONS (2020)
Multipath Adaptive A*: Factors That Influence Performance in Goal-Directed Navigation in Unknown Terrain Hernandez Ulloa, Carlos Article ISI IEEE ACCESS (2020)
HNCcorr: A Novel Combinatorial Approach for Cell Identification in Calcium-Imaging Movies Spaen Q.; AsÃn-AchÃ¡ R.; Chettih S.N.; Minderer M.; Harvey C. Article ISI SCOPUS ENEURO (2019)
HNCcorr: combinatorial optimization for neuron identification AsÃn AchÃ¡ R. Article ISI SCOPUS ANNALS OF OPERATIONS RESEARCH (2019)
A column generation approach and new bounds for the car sequencing problem Jahren, E; Acha, RA Article ISI SCOPUS ANNALS OF OPERATIONS RESEARCH (2018)
Resizing cardinality constraints for MaxSAT Acha, RA Article ISI SCOPUS AI COMMUNICATIONS (2018)
Time-Bounded Best-First Search for Reversible and Non-reversible Search Graphs Article ISI SCOPUS JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (2016)
An overview of curriculum-based course timetabling Bettinelli, Andrea; Roberti, Roberto Article ISI Top (2015)
Curriculum-based course timetabling with SAT and MaxSAT Acha, RA; Nieuwenhuis R. Article ISI SCOPUS ANNALS OF OPERATIONS RESEARCH (2014)
Cardinality Networks: a theoretical and empirical study Article ISI CONSTRAINTS (2011)
Practical algorithms for unsatisfiability proof and core generation in SAT solvers Article ISI AI COMMUNICATIONS (2010)
Cardinality Networks and Their Applications Kullmann, O Article ISI GAMES AND LEARNING ALLIANCE, GALA 2024 (2009)


Improving IntSat by expressing disjunctions of bounds as linear constraints Asin R; Bezem M.; Nieuwenhuis R. ConferencePaper ISI SCOPUS AI COMMUNICATIONS (2015)
Reusing previously found A? paths for fast goal-directed navigation in dynamic terrain Hernández, C; Asin R; Baier, J. A. ConferencePaper SCOPUS Proceedings of the National Conference on Artificial Intelligence (2015)
Making A? run faster than D?-lite for path-planning in partially known terrain Hernández, C; Baier, J. A.; Asin R ConferencePaper SCOPUS Proceedings International Conference on Automated Planning and Scheduling, ICAPS (2014)
Efficient Generation of Unsatisfiability Proofs and Cores in SAT Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric; Cervesato, Iliano; Veith, Helmut; Voronkov, Andrei ConferencePaper (2008)


Comments on: An overview of curriculum-based course timetabling Asin R EditorialMaterial ISI SCOPUS TOP (2015)


Distributed Sat And Maxsat For Combinatorial Optimization FONDECYT (11121220) Proyecto 2012-2014 Inv. Principal
Logictools2 Ministerio de Educación y Ciencia de España (TIN2007-68093) Proyecto 2007-2010 Personal técnico y/o de apoyo