Miguel A. Salido

发表

Domain-Dependent Planning Heuristics for Locating Containers in Maritime Terminals

Mario Rodríguez-Molins, Miguel A. Salido, Federico Barber, 2010, IEA/AIE.

An Optimization Method for Coordinating Supplier Selection and Low-Carbon Design of Product Family

Qi Wang, Adriana Giret, Leilei Yin, 2018, International Journal of Precision Engineering and Manufacturing.

Lazy abstraction

Dídac Busquets, Miguel A. Salido, Federico Barber, 2002, POPL '02.

A Non-Binary Constraint Ordering Approach to Scheduling Problems

Miguel A. Salido, Federico Barber, M. Salido, 2004, SGAI Conf..

An Enhanced Estimation of Distribution Algorithm for Energy-Efficient Job-Shop Scheduling Problems with Transportation Constraints

Adriana Giret, Miguel A. Salido, Min Dai, 2019, Sustainability.

Introducción a la programación de restricciones

Miguel A. Salido, Federico Barber, Miguel A. Salido, 2003, Inteligencia Artif..

Uncertainty in dynamic constraint satisfaction problems

Richard J. Wallace, Miguel A. Salido, Federico Barber, 2016, AI Commun..

Extending arc-consistency algorithms for Non-Normalized CSPs

Miguel A. Salido, Federico Barber, Marlene Arangú, 2009, SGAI Conf..

FSM merging and reduction for IP cores watermarking using Genetic Algorithms

René Cumplido, Miguel A. Salido, Jorge Echavarria, 2014, 2014 International Conference on ReConFigurable Computing and FPGAs (ReConFig14).

Domain-dependent distributed models for railway scheduling

Miguel A. Salido, Federico Barber, Montserrat Abril, 2007, Knowl. Based Syst..

Intelligent planning for allocating containers in maritime terminals

Mario Rodríguez-Molins, Miguel A. Salido, Federico Barber, 2012, Expert Syst. Appl..

Robust Scheduling for Berth Allocation and Quay Crane Assignment Problem

Miguel A. Salido, Federico Barber, Mario Rodriguez-Molins, 2014 .

Distributed Constraints for Large-Scale Scheduling Problems

Miguel A. Salido, Federico Barber, Montserrat Abril, 2005, CP.

Meta-heuristic and Constraint-Based Approaches for Single-Line Railway Timetabling

Miguel A. Salido, Federico Barber, Laura Paola Ingolotti, 2009, Robust and Online Large-Scale Optimization.

New Heuristics to Solve the "CSOP" Railway Timetabling Problem

Miguel A. Salido, Federico Barber, Montserrat Abril, 2006, IEA/AIE.

A dual scheduling model for optimizing robustness and energy consumption in manufacturing systems

Miguel A. Salido, Joan Escamilla, M. Salido, 2018 .

Bi-objective optimization for low-carbon product family design

Yuchun Xu, Qi Wang, Adriana Giret, 2016 .

A FILTERING TECHNIQUE TO ACHIEVE 2-CONSISTENCYIN CONSTRAINT SATISFACTION PROBLEMS

Miguel A. Salido, Federico Barber Sanchís, Marlene Alicia Arangú Lobig, 2012 .

A holonic architecture for the global road transportation system

Adriana Giret, Miguel A. Salido, Frédérique Versteegh, 2010, J. Intell. Manuf..

A holonic simulation environment for smart transportation systems

Adriana Giret, Miguel A. Salido, Manuel Peinado, 2011 .

Cooperation Between Smart Manufacturing Scheduling Systems and Energy Providers: A Multi-agent Perspective

Abdelghani Bekrar, Damien Trentesaux, Adriana Giret, 2018, SOHOMA.

International Joint CP/ICAPS Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems

Amedeo Cesta, Roman Barták, Miguel A. Salido, 2007 .

A hormone regulation–based approach for distributed and on-line scheduling of machines and automated guided vehicles

Adriana Giret, Miguel A. Salido, Kun Zheng, 2018 .

Mathematical Solutions for Solving Periodic Railway Transportation

Miguel A. Salido, Federico Barber, M. Salido, 2009 .

Distributed Non-binary Constraints

Miguel A. Salido, Federico Barber, M. Salido, 2003, CAEPIA.

A Genetic Algorithm for Berth Allocation and Quay Crane Assignment

Jorge Puente, María R. Sierra, Mario Rodríguez-Molins, 2012, IBERAMIA.

Realizing a Global Hyperpolyhedron Constraint via LP Techniques

Adriana Giret, Miguel A. Salido, Federico Barber, 2001, PuK.

Intelligent Train Scheduling on a High-Loaded Railway Network

Miguel A. Salido, Federico Barber, Montserrat Abril, 2004, ATMOS.

Distributed CSPs: Why It Is Assumed a Variable per Agent?

Miguel A. Salido, M. Salido, 2007, SARA.

POLYSA: A Polynomial Algorithm for Non-binary Constraint Satisfaction Problems with ≤ and ≠

Miguel A. Salido, Federico Barber, M. Salido, 2007 .

A genetic algorithm for energy-efficiency in job-shop scheduling

Adriana Giret, Miguel A. Salido, Federico Barber, 2016 .

Preface to special issue on planning and scheduling

T. L. McCluskey, Amedeo Cesta, Roman Barták, 2010, Knowl. Eng. Rev..

2-C6: An fine-grained algorithm to achieve 2-consistency

Miguel A. Salido, Marlene Arangú, M. Salido, 2013, 2013 XXXIX Latin American Computing Conference (CLEI).

Scheduling in a Planning Environment

Miguel A. Salido, Federico Barber, Antonio Garrido Tejero, 2000, PuK.

A Multi-Agent Framework to Solve Energy-Aware Unrelated Parallel Machine Scheduling Problems with Machine-Dependent Energy Consumption and Sequence-Dependent Setup Time

Adriana Giret, Miguel A. Salido, Federico Barber, 2019, ICAPS.

PSPLIB-ENERGY: a extension of PSPLIB library to assess the energy optimization in the RCPSP

Miguel A. Salido, Federico Barber, Daniel Morillo, 2014, Inteligencia Artif..

Assessment of mathematical programming and agent-based modelling for off-line scheduling: application to energy aware manufacturing

Damien Trentesaux, Emanuele Carpanzano, Adriana Giret, 2016 .

How to Choose the Greenest Delivery Plan: A Framework to Measure Key Performance Indicators for Sustainable Urban Logistics

Vicente Julián, Juan M. Corchado, Adriana Giret, 2018, APMS.

DFS-Tree Based Heuristic Search

Miguel A. Salido, Federico Barber, Montserrat Abril, 2007, SARA.

Energy-efficient dynamic scheduling for a flexible flow shop using an improved particle swarm optimization

Min Dai, Adriana Giret, Miguel A. Salido, 2016, Comput. Ind..

A New Optimization Algorithm Based on Search and Rescue Operations

Adriana Giret, Miguel A. Salido, Behrouz Asgarian, 2019, Mathematical Problems in Engineering.

New trends in constraint satisfaction, planning, and scheduling: a survey

Francesca Rossi, Roman Barták, Miguel A. Salido, 2010, The Knowledge Engineering Review.

A Heuristic Technique for the Capacity Assessment of Periodic Trains

Miguel A. Salido, Federico Barber, Montserrat Abril, 2005, CCIA.

Introduction: Special issue on constraint satisfaction techniques for planning and scheduling problems

Roman Barták, Miguel A. Salido, Antonio Garrido, 2008, Eng. Appl. Artif. Intell..

A GRASP-based metaheuristic for the Berth Allocation Problem and the Quay Crane Assignment Problem by managing vessel cargo holds

Mario Rodríguez-Molins, Miguel A. Salido, Federico Barber, 2013, Applied Intelligence.

Robustness and Stability in Constraint Programming under Dynamism and Uncertainty - (Extended Abstract)

Richard J. Wallace, Miguel A. Salido, Federico Barber, 2014, CP.

A genetic algorithm for robust berth allocation and quay crane assignment

Jorge Puente, María R. Sierra, Mario Rodríguez-Molins, 2014, Progress in Artificial Intelligence.

A Metaheuristic Search Technique for Solving the Warehouse Stock Management Problem and the Routing Problem in a Real Company

Christian Pérez, Miguel A. Salido, David Gurrea, 2020, SGAI Conf..

Optimisation System for Cutting Continuous Flat Glass

Miguel A. Salido, Federico Barber, Manuel Peinado, 2016, ERCIM News.

Integrated intelligent techniques for remarshaling and berthing in maritime terminals

Mario Rodríguez-Molins, Miguel A. Salido, Federico Barber, 2011, Adv. Eng. Informatics.

An artificial intelligence planning tool for the container stacking problem

Miguel A. Salido, Federico Barber, Oscar Sapena, 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

Chromosome Mutation vs. Gene Mutation in Evolutive Approaches for Solving the Resource-Constrained Project Scheduling Problem (RCPSP)

Miguel A. Salido, Federico Barber, Daniel Morillo, 2018, IEA/AIE.

Search and rescue optimization algorithm: A new optimization method for solving constrained engineering optimization problems

Miguel A. Salido, Saeed Asil Gharebaghi, Behrouz Asgarian, 2020, Expert Syst. Appl..

An Efficient Method to Schedule New Trains on a Heavily Loaded Railway Network

Miguel A. Salido, Federico Barber, Montserrat Abril, 2004, IBERAMIA.

AC3-OP: An Arc-Consistency Algorithm for Arithmetic Constraints

Miguel A. Salido, Federico Barber, Marlene Arangú, 2009, CCIA.

A Topological Model Based on Railway Capacity to Manage Periodic Train Scheduling

Miguel A. Salido, Federico Barber, Pilar Tormos, 2004, SGAI Conf..

Stability of Solutions in Constraint Satisfaction Problems

Miguel A. Salido, Federico Barber, Laura Climent, 2009, CCIA.

Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems

Roman Barták, Neil Yorke-Smith, Miguel A. Salido, 2010 .

A fine-grained arc-consistency algorithm for non-normalized constraint satisfaction problems

Miguel A. Salido, Marlene Arangú, M. Salido, 2011, Int. J. Appl. Math. Comput. Sci..

Heuristic Methods for Solving Job-Shop Scheduling Problems

Miguel A. Salido, Federico Barber, Antonio Garrido Tejero, 2000, PuK.

Constraint satisfaction for planning and scheduling problems

Roman Barták, Miguel A. Salido, 2011, Constraints.

Distributed CSPs by graph partitioning

Miguel A. Salido, Federico Barber, 2006, Appl. Math. Comput..

Energy-efficient scheduling for a flexible flow shop using an improved genetic-simulated annealing algorithm

Adriana Giret, Weidong Li, Miguel A. Salido, 2013 .

A Scheduling Order-Based Method to Solve Timetabling Problems

Miguel A. Salido, Federico Barber, Montserrat Abril, 2005, CAEPIA.

EXPERIENCES TRAINING THE ELDERLY TO USE COMPUTERS AND INTERNET

Adriana Giret, Miguel A. Salido, Emilia Garcia, 2012 .

Reformulating Dynamic Linear Constraint Satisfaction Problems as Weighted CSPs for Searching Robust Solutions

Miguel A. Salido, Federico Barber, Laura Climent, 2011, SARA.

Exploiting the Constrainedness in Constraint Satisfaction Problems

Miguel A. Salido, Federico Barber, M. Salido, 2004, AIMSA.

Application of Meta-Tree-Based Distributed Search to the Railway Scheduling Problem∗

Miguel A. Salido, Federico Barber, M. Abril, 2007 .

Problemas de Satisfaccion de Restricciones no Binarias con Dominios Continuos

Adriana Giret, Miguel A. Salido, Federico Barber, 2002, Inteligencia Artif..

An Algorithm for Finding Robust and Stable Solutions for Constraint Satisfaction Problems with Discrete and Ordered Domains

Richard J. Wallace, Miguel A. Salido, Federico Barber, 2012, 2012 IEEE 24th International Conference on Tools with Artificial Intelligence.

A Genetic Algorithm for Railway Scheduling Problems

Miguel A. Salido, Federico Barber, Montserrat Abril, 2008, Metaheuristics for Scheduling in Industrial and Manufacturing Applications.

A decision support system for managing combinatorial problems in container terminals

Mario Rodríguez-Molins, Miguel A. Salido, Federico Barber, 2012, Knowl. Based Syst..

A Decision Support System For RailwayTimetabling (MOM): The Spanish Case

Miguel A. Salido, Federico Barber, Pilar Tormos, 2006 .

Constrainedness and Redundancy by Constraint Ordering

Miguel A. Salido, Federico Barber, 2004, IBERAMIA.

How to Classify Hard and Soft Constraints in Non-binary Constraint Satisfaction Problems

Miguel A. Salido, Federico Barber, M. Salido, 2003, SGAI Conf..

Técnicas para el manejo de CSPs no binarios

Miguel A. Salido, Miguel A. Salido, 2003, Inteligencia Artif..

Disjunction of Non-binary and Numeric Constraint Satisfaction Problems

Miguel A. Salido, Federico Barber, 2002, CCIA.

A Multi-agent Approach to Implement a Reverse Production Virtual Market in Green Supply Chains

Adriana Giret, Miguel A. Salido, A. Giret, 2017, APMS.

Robust Solutions in Changing Constraint Satisfaction Problems

Miguel A. Salido, Federico Barber, Laura Climent, 2010, IEA/AIE.

A non-binary constraint ordering heuristic for constraint satisfaction problems

Miguel A. Salido, M. Salido, 2008, Appl. Math. Comput..

A Non-binary Constraint Satisfaction Solver: the One-Face Hyperpolyhedron Heuristic

Adriana Giret, Miguel A. Salido, Federico Barber, 2002 .

A holonic multi-agent methodology to design sustainable intelligent manufacturing control systems

Damien Trentesaux, Adriana Giret, Miguel A. Salido, 2017 .

Rescheduling in job-shop problems for sustainable manufacturing systems

Adriana Giret, Miguel A. Salido, Federico Barber, 2017 .

Solving the job shop scheduling problem with operators by depth-first heuristic search enhanced with global pruning rules

María R. Sierra, Ramiro Varela, Miguel A. Salido, 2015, AI Commun..

AN EXPERIENCE IN COMPUTER SCIENCE IN THE TECHNICAL INDUSTRIAL ENGINEERING ABOUT CONTINUOUS FORMATIVE EVALUATION BASED ON PROJECT-BASED LEARNING

C. Sentieri Omarrementeria, Miguel A. Salido, J. D. Segrelles Quilis, 2012 .

An Assessment of Railway Capacity

Miguel A. Salido, Federico Barber, Pilar Tormos, 2008 .

Feasible distributed CSP models for scheduling problems

Adriana Giret, Miguel A. Salido, A. Giret, 2008, Eng. Appl. Artif. Intell..

PSPLIB-ENERGY: Una extensión de la librería PSPLIB para la evaluación de la optimización energética en el RCPSP

Miguel A. Salido, Federico Barber, Daniel Morillo Torres, 2014 .

Towards the integration of berth allocation and container stacking problems in maritim container terminals

Miguel A. Salido, Federico Barber, Mario Rodriguez, 2010 .

A polynomial algorithm for continuous non-binary disjunctive CSPs: extended DLRs

Miguel A. Salido, Federico Barber, M. Salido, 2003, Knowl. Based Syst..

Finding robust solutions for constraint satisfaction problems with discrete and ordered domains by coverings

Richard J. Wallace, Miguel A. Salido, Federico Barber, 2015, Artificial Intelligence Review.

Robust Solutions to Job-Shop Scheduling Problems with Operators

María R. Sierra, Mario Rodríguez-Molins, Miguel A. Salido, 2012, 2012 IEEE 24th International Conference on Tools with Artificial Intelligence.

Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS-15)

Roman Barták, Miguel A. Salido, 2015 .

Distributed search in railway scheduling problems

Miguel A. Salido, Federico Barber, Montserrat Abril, 2008, Eng. Appl. Artif. Intell..

An Incremental and Non-binary CSP Solver: The Hyperpolyhedron Search Algorithm

Miguel A. Salido, Federico Barber, M. Salido, 2001, CP.

A metaheuristic technique for energy-efficiency in job-shop scheduling

Adriana Giret, Miguel A. Salido, Federico Barber, 2016, The Knowledge Engineering Review.

Mode-Based versus Activity-Based Search for a Nonredundant Resolution of the Multimode Resource-Constrained Project Scheduling Problem

Miguel A. Salido, Federico Barber, Daniel Morillo, 2017 .

Artificial Intelligence Techniques for the Berth Allocation and Container Stacking Problems in Container Terminals

Mario Rodríguez-Molins, Miguel A. Salido, Federico Barber, 2010, SGAI Conf..

Introduction to the special issue on constraint satisfaction for planning and scheduling

Roman Barták, Miguel A. Salido, 2016, Knowl. Eng. Rev..

Introduction to constraint programming

Miguel A. Salido, Federico Barber, M. Salido, 2003 .

Nogood-FC for solving partitionable constraint satisfaction problems

Miguel A. Salido, Federico Barber, Montserrat Abril, 2010, J. Intell. Manuf..

Volume under the ROC Surface for Multi-class Problems

José Hernández-Orallo, César Ferri, Miguel A. Salido, 2003, ECML.

Constraint satisfaction techniques in planning and scheduling

Francesca Rossi, Roman Barták, Miguel A. Salido, 2010, J. Intell. Manuf..

AC2001-OP: An Arc-Consistency Algorithm for Constraint Satisfaction Problems

Miguel A. Salido, Federico Barber, Marlene Arangú, 2010, IEA/AIE.

Robustness for a single railway line: Analytical and simulation methods

Miguel A. Salido, Federico Barber, Laura Paola Ingolotti, 2012, Expert Syst. Appl..

Energy efficiency, robustness, and makespan optimality in job-shop scheduling problems

Min Dai, Adriana Giret, Miguel A. Salido, 2015, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

Multi-objective optimization for energy-efficient flexible job shop scheduling problem with transportation constraints

Adriana Giret, Miguel A. Salido, Min Dai, 2019, Robotics Comput. Integr. Manuf..

A Decision Support System for Railway Timetabling (MOM): the Spanish Case

Miguel A. Salido, Federico Barber, Pilar Tormos, 2006 .

Extending ANEMONA with NDT Phases

Adriana Giret, Miguel A. Salido, 2013 .

A Decision Support System (DSS) for the Railway Scheduling Problem

Miguel A. Salido, Federico Barber, Montserrat Abril, 2004, AIAI.

Disjunctive and Continuous Constraint Satisfaction Problems

Miguel A. Salido, Federico Barber, 2002, CP.

Modeling Robustness in CSPs as Weighted CSPs

Richard J. Wallace, Miguel A. Salido, Federico Barber, 2013, CPAIOR.

An Interactive Train Scheduling Tool for Solving and Plotting Running Maps

Miguel A. Salido, Federico Barber, Montserrat Abril, 2003, CAEPIA.

2-C3: From Arc-Consistency to 2-Consistency

Miguel A. Salido, Federico Barber, Marlene Arangú, 2009, SARA.

Techniques for non-binary CSPs

Miguel A. Salido, M. Salido, 2003 .

Introduction to planning, scheduling and constraint satisfaction

Miguel A. Salido, M. Salido, 2010, J. Intell. Manuf..

Dynamic Rescheduling in Energy-Aware Unrelated Parallel Machine Problems

Adriana Giret, Miguel A. Salido, Federico Barber, 2018, APMS.

Distributed Constraint Satisfaction Problems to Model Railway Scheduling Problems

Miguel A. Salido, Federico Barber, Pilar Tormos, 2006 .

Optimization in railway scheduling

Miguel A. Salido, Federico Barber, Montserrat Abril, 2005, ICINCO.

Robustness and Stability in Constraint Programming under Dynamism and Uncertainty

Richard J. Wallace, Miguel A. Salido, Federico Barber, 2014, J. Artif. Intell. Res..

Aplicación de Metodologías Activas en la Enseñanza de Informática en la Licenciatura en Matemáticas

Adriana Giret, Miguel A. Salido, Montserrat Abril, 2007, Rev. Iberoam. de Tecnol. del Aprendiz..

A Filtering Technique for the Railway Scheduling Problem

Miguel A. Salido, Federico Barber, Marlene Arang, 2010 .

2-C3OP: An Improved Version of 2-Consistency

Miguel A. Salido, Federico Barber, Marlene Arangú, 2009, 2009 21st IEEE International Conference on Tools with Artificial Intelligence.

The container stacking problem: an artificial intelligence planning-based approach

Miguel A. Salido, Federico Barber, Oscar Sapena, 2009 .

Robustness, stability, recoverability, and reliability in constraint satisfaction problems

Miguel A. Salido, Federico Barber, M. Salido, 2015, Knowledge and Information Systems.

A Planning Tool for Minimizing Reshuffles in Container Terminals

Mario Rodríguez-Molins, Miguel A. Salido, Federico Barber, 2009, 2009 21st IEEE International Conference on Tools with Artificial Intelligence.

WHAT IS BETTER: 4 TIERS OR 5 TIERS IN THE CONTAINER STACKING PROBLEM?

Miguel A. Salido, Federico Barber, Oscar Sapena, 2009 .

Experimental analysis of optimization techniques on the road passenger transportation problem

Beatriz López, Javier Murillo, Víctor Muñoz, 2009, Eng. Appl. Artif. Intell..

IP-cores watermarking scheme at behavioral level using genetic algorithms

Claudia Feregrino Uribe, René Cumplido, Jorge Echavarria, 2021, Eng. Appl. Artif. Intell..

Robustness , Stability , Recoverability and Reliability in Dynamic Constraint Satisfaction Problems

Miguel A. Salido, Federico Barber, 2011 .

Preprocessing Algorithms for non-binary Disjunctive Constraint Satisfaction

Adriana Giret, Miguel A. Salido, Federico Barber, 2002 .

A Polynomial Algorithm for Continuous Non-binary Disjunctive CSPs

Miguel A. Salido, Federico Barber, M. Salido, 2003 .

ROBUSTNESS IN DYNAMIC CONSTRAINT SATISFACTION PROBLEMS

Miguel A. Salido, Federico Barber, Laura Climent, 2012 .

Distributing Constraints by Sampling in Non-Binary CSPs

Adriana Giret, Miguel A. Salido, Federico Barber, 2003 .

Constraint Satisfaction by Means of Dynamic Polyhedra

Adriana Giret, Miguel A. Salido, Federico Barber, 2002 .

Combining Global Pruning Rules with Depth-First Search for the Job Shop Scheduling Problem with Operators

María R. Sierra, Ramiro Varela, Miguel A. Salido, 2012 .