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 - 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

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)

Buscar:


Anytime Automatic Algorithm Selection for the Multi-Agent Path Finding Problem Zapata, Angelo Article ISI IEEE ACCESS (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 SOCIAL COMPUTING AND SOCIAL MEDIA: APPLICATIONS IN EDUCATION AND COMMERCE, SCSM 2022, PT II (2009)

Buscar:


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 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)

Buscar:


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

Jorge Baier

Profesor Asociado

Departamento de Ciencia de la Computación

Pontificia Universidad Católica de Chile

Santiago, Chile

Julio Godoy

Profesor Asociado

Ingeniería Informática y Cs. de la Computación

Universidad de Concepción

Concepción, Chile

Roberto Asín

Profesor Asistente

Departamento de Informática

Universidad Técnica Federico Santa María

San Joaquín, Chile

Vicente Varas

Ingeniero de proyecto

Universidad de Concepción

Concepción, Chile

Roberto Javier Asín Achá

Líneas de Investigación

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

Profesor Asistente Full Time

Research Assitant Full Time

Visiting Scholar (Postdoctorate) (Becas Chile de Postdoctorado) Full Time

Experiencia Profesional

Desarrollador Web Full Time

Profesor de computación Part Time

Difusión y Transferencia

Article (15)

ConferencePaper (4)

EditorialMaterial (1)

Proyecto (2)

Distributed Sat And Maxsat For Combinatorial Optimization

Logictools2