artículo académico

• Improving the state-of-the-art in the Traveling Salesman Problem: An Anytime Automatic Algorithm Selection.  EXPERT SYSTEMS WITH APPLICATIONS.  187. 2022
• Multi-Agent Path Finding: A New Boolean Encoding.  JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH.  75:323-350. 2022
• Anytime automatic algorithm selection for knapsack.  EXPERT SYSTEMS WITH APPLICATIONS.  158. 2020
• HNCcorr: combinatorial optimization for neuron identification.  ANNALS OF OPERATIONS RESEARCH.  289(1):5-32. 2020
• Multipath Adaptive A*: Factors That Influence Performance in Goal-Directed Navigation in Unknown Terrain.  IEEE ACCESS.  8:116724-116732. 2020
• HNCcorr: A Novel Combinatorial Approach for Cell Identification in Calcium-Imaging Movies.  ENEURO.  6(2):1-19. 2019
• A column generation approach and new bounds for the car sequencing problem.  ANNALS OF OPERATIONS RESEARCH.  264(1-2):193-211. 2018
• Resizing cardinality constraints for MaxSAT.  AI COMMUNICATIONS.  31(4):355-367. 2018
• Improving IntSat by expressing disjunctions of bounds as linear constraints.  AI COMMUNICATIONS.  29(1):205-209. 2016
• Time-Bounded Best-First Search for Reversible and Non-reversible Search Graphs.  JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH.  56:547-571. 2016
• Curriculum-based course timetabling with SAT and MaxSAT.  ANNALS OF OPERATIONS RESEARCH.  218(1):71-91. 2014