Fotobledcuadrado.png_thumb90

Roberto Javier Asín Achá

Profesor Asistente

Universidad Técnica Federico Santa María

San Joaquín, Chile

Líneas de Investigación


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

Educación

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

Experiencia Académica

  •   Profesor Asistente Full Time

    UNIVERSIDAD DE CONCEPCION

    Facultad de Ingeniería

    Concepcion, Chile

    2016 - A la fecha

  •   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

Experiencia Profesional

  •   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

Difusión y Transferencia


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



 

Article (14)

Improving the state-of-the-art in the Traveling Salesman Problem: An Anytime Automatic Algorithm Selection

Huerta, Isaias I.; Neira, Daniel A.; Ortega, Daniel A.; Varas, Vicente; Godoy, Julio E.; Asín-Achá, Roberto

Article ISI, Scopus
EXPERT SYSTEMS WITH APPLICATIONS  (2022)

Multi-Agent Path Finding: A New Boolean Encoding

Asin Acha, Roberto; Lopez, Rodrigo; Hagedorn, Sebastian; Baier, Jorge A.

Article ISI SCOPUS
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH  (2022)

Anytime automatic algorithm selection for knapsack

Huerta, Isaias I.; Neira, Daniel A.; Ortega, Daniel A.; Varas, Vicente; Godoy, Julio; Asin-Acha, Roberto

Article ISI
EXPERT SYSTEMS WITH APPLICATIONS  (2020)

Multipath Adaptive A*: Factors That Influence Performance in Goal-Directed Navigation in Unknown Terrain

Hernandez Ulloa, Carlos; Baier, Jorge A.; Asin-Acha, Roberto

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.; Hochbaum D.S.

Article ISI SCOPUS
ENEURO  (2019)

HNCcorr: combinatorial optimization for neuron identification

Asín Achá R.; Hochbaum D.S.; Spaen Q.

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

Jahren, E; Acha, RA

Article ISI SCOPUS
AI COMMUNICATIONS  (2018)

Time-Bounded Best-First Search for Reversible and Non-reversible Search Graphs

Hernández, Carlos; Baier, Jorge A.; Asín, Roberto

Article ISI SCOPUS
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH  (2016)

An overview of curriculum-based course timetabling

Bettinelli, Andrea; Cacchiani, Valentina; Roberti, Roberto; Toth, Paolo

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

Asin, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodriguez-Carbonell, Enric

Article ISI
CONSTRAINTS  (2011)

Practical algorithms for unsatisfiability proof and core generation in SAT solvers

Asin Acha, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodriguez-Carbonell, Enric

Article ISI
AI COMMUNICATIONS  (2010)

Cardinality Networks and Their Applications

Asin, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodriguez-Carbonell, Enric; Kullmann, O

Article ISI
LEARNING AND INTELLIGENT OPTIMIZATION, LION 15  (2009)

ConferencePaper (4)

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

Hernandez 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

Hernandez 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

Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric; Cervesato, Iliano; Veith, Helmut; Voronkov, Andrei

ConferencePaper
 (2008)

EditorialMaterial (1)

Comments on: An overview of curriculum-based course timetabling

Asin R

EditorialMaterial ISI SCOPUS
TOP  (2015)

Proyecto (2)

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

19
Roberto Asín

Profesor Asistente

Departamento de Informática

Universidad Técnica Federico Santa María

San Joaquín, Chile

3
Jorge Baier

Profesor Asociado

Departamento de Ciencia de la Computación

Pontificia Universidad Católica de Chile

Santiago, Chile