Publicação

Resource constrained project scheduling with general precedence relations optimized with SAT

Detalhes bibliográficos
Resumo:	This paper presents an approach, based on propositional satisfiability (SAT), for the resource constrained project scheduling problem with general precedence relations. This approach combines propositional satisfiability formulations with a bisection method, in order to achieve an optimal solution. The empirical results suggest that when the optimal schedule is significantly affected by the availability of resources, this strategy outperforms the typical integer linear programming approach.
Autores principais:	Alves, Rui Miguel de Freitas
Outros Autores:	Alvelos, Filipe Pereira e; Sousa, Sérgio
Assunto:	Project scheduling SAT
Ano:	2013
País:	Portugal
Tipo de documento:	comunicação em conferência
Tipo de acesso:	acesso restrito
Instituição associada:	Universidade do Minho
Idioma:	inglês
Origem:	RepositóriUM - Universidade do Minho

Registos relacionados

On the multi-mode, multi-skill resource constrained project scheduling problem (MRCPSP-MS)
por: Santos, Mónica A.
Publicado em: (2010)

Estimation of river flow using CubeSats remote sensing
por: Junqueira, Adriano M.
Publicado em: (2021)

TinyGS vs. SatNOGS: a comparative analysis of open-source satellite ground station networks
por: Sá Gomes, João
Publicado em: (2024)

A genetic algorithm for project scheduling in activity networks under resource complementarity
por: Silva, Hélder C.
Publicado em: (2011)

Scheduling of multimodal activities with multiple renewable and availability constrained resources under stochastic conditions
por: Moutinho, Rui
Publicado em: (2014)

An Industrial Application of Resource Constrained Scheduling for Quick Changeover
por: Sousa, Rui M.
Publicado em: (2009)

Multi-project scheduling under uncertainty and resource flexibility: a systematic literature review
por: Aghileh, Marzieh
Publicado em: (2024)

A computer application for scheduling in MS Project
por: Tereso, Anabela Pereira
Publicado em: (2014)

Project management under uncertainty: using flexible resource management to exploit schedule flexibility
por: Faria, João Manuel Peixoto
Publicado em: (2020)

Explainable artificial intelligence - learning decision sets with sat
por: Pereira, Filipe Inácio da Costa
Publicado em: (2018)

Concurrency detection on finish-to-start activity precedence networks
por: Moutinho, Rui
Publicado em: (2015)

On the optimal resource allocation in projects considering the time value of money
por: Tereso, Anabela Pereira
Publicado em: (2010)

Multi-Project Scheduling for Industrialization Projects: an approach to exploit resource flexibility
por: Aghileh, Marzieh
Publicado em: (2026)

Project management under uncertainty: a mixed approach using flexible resource management to exploit schedule flexibility
por: Faria, Joao Manuel Peixoto
Publicado em: (2016)

Schedule modeling in a fire station: a linear approach to optimize service and human resources
por: Silva, Ana Rita
Publicado em: (2024)

Sequencing activities in a project network using resource complementarity model
por: Silva, Hélder C.
Publicado em: (2012)

Sequencing activities in a project network with resource complementarity : further results
por: Silva, Hélder C.
Publicado em: (2011)

On resource complementarity in activity networks: preliminary results
por: Silva, Hélder C.
Publicado em: (2010)

A simulation-based optimization approach to the firefighting resource scheduling problem
por: Paiva, Emerson J.
Publicado em: (2024)

Application of scheduling and capacity management tools in a multi-project environment
por: Pinto, Leandro
Publicado em: (2022)

Quantity oriented resource allocation strategy on multiple resources projects under stochastic conditions
por: Tereso, Anabela Pereira
Publicado em: (2009)

Duration oriented resource allocation strategy on multiple resources projects under stochastic conditions
por: Tereso, Anabela Pereira
Publicado em: (2009)

A multi-constrained QoS aware scheduler for class-based IP networks
por: Sousa, Pedro
Publicado em: (2004)

Sequencing activities in a project network considering resource complementarity
por: Silva, Hélder C.
Publicado em: (2012)

Resolução de problemas em contexto colaborativo e não formal : estudo de caso de tecnologia espacial no projeto CanSat Açores
por: Contente, José António Vieira da Silva
Publicado em: (2022)

Scheduling optimization using local search and genetic algorithm
por: Koblasa, F.
Publicado em: (2008)

Optimal resource allocation in stochastic activity networks via the electromagnetism approach: a platform implementation in Java
por: Tereso, Anabela Pereira
Publicado em: (2009)

Project management: multiple resources allocation
por: Tereso, Anabela Pereira
Publicado em: (2008)

The optimal resource allocation in stochastic activity networks via the electromagnetism approach
por: Tereso, Anabela Pereira
Publicado em: (2004)

Skewed general variable neighborhood search for the location routing scheduling problem
por: Macedo, Rita
Publicado em: (2015)

Project management under uncertainty: Solution methods revisited
por: Faria, João Manuel Peixoto
Publicado em: (2016)

Multi-skill resource-constrained project scheduling problems : models and algorithms
por: Almeida, Bernardo F.
Publicado em: (2018)

Distributed scheduling based on multi-agent systems and optimization methods
por: Alves, Filipe
Publicado em: (2019)

Capture and maintenance of project total cost minimization applications’ results
por: Moutinho, Rui
Publicado em: (2010)

Optimization of surgery scheduling problems based on prescriptive analytics
por: Lopes, João
Publicado em: (2023)

Analysis of the performance of different implementations of a heuristic method to optimize forest harvest scheduling
por: Bachmatiuk, Joanna
Publicado em: (2015)

The optimal resource allocation in stochastic activity networks via the electromagnetism approach: A platform implementation in Java
por: Tereso, Anabela Pereira
Publicado em: (2006)

Project management under uncertainty: Resource flexibility visualization in the schedule
por: Lima, Ricardo
Publicado em: (2019)

A multi-objective approach to the optimization of home care visits scheduling
por: Alves, Filipe
Publicado em: (2019)

Projeto dos principais subsistemas de um pico-satélite para aplicações de ensino e de investigação
por: Ferreira, Hugo Manuel da Cunha
Publicado em: (2023)