Roberto Asín

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 3

Top Topics

Branch And Bound Search

Linear Constraints

Top Venues

Publications

Alexander Irribarra-Cortés, José Fuentes-Sepúlveda, Diego Seco, Roberto Asín
Speeding up compact planar graphs by using shallower trees. DCC (2022)
Carlos Hernández, Jorge A. Baier, Roberto Asín
Time-Bounded Best-First Search for Reversible and Non-reversible Search Graphs. J. Artif. Intell. Res. 56 (2016)
Roberto Asín, Marc Bezem, Robert Nieuwenhuis
Improving IntSat by expressing disjunctions of bounds as linear constraints. AI Commun. 29 (1) (2016)
Carlos Hernández, Roberto Asín, Jorge A. Baier
Reusing Previously Found A* Paths for Fast Goal-Directed Navigation in Dynamic Terrain. AAAI (2015)
Carlos Hernández, Jorge A. Baier, Roberto Asín
Making A* Run Faster than D*-Lite for Path-Planning in Partially Known Terrain. ICAPS (2014)
Carlos Hernández, Roberto Asín, Jorge A. Baier
Time-Bounded Best-First Search. SOCS (2014)
Roberto Asín, Juan Olate, Leo Ferres
Cache Performance Study of Portfolio-Based Parallel CDCL SAT Solvers. CoRR (2013)
Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
Cardinality Networks: a theoretical and empirical study. Constraints An Int. J. 16 (2) (2011)
Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
Cardinality Networks and Their Applications. SAT (2009)
Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
Efficient Generation of Unsatisfiability Proofs and Cores in SAT. LPAR (2008)