Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/26187
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Alves, Rui Miguel de Freitas | - |
dc.contributor.author | Alvelos, Filipe Pereira e | - |
dc.contributor.author | Sousa, Sérgio | - |
dc.date.accessioned | 2013-11-20T11:51:31Z | - |
dc.date.available | 2013-11-20T11:51:31Z | - |
dc.date.issued | 2013 | - |
dc.identifier.isbn | 9783642406683 | por |
dc.identifier.issn | 0302-9743 | por |
dc.identifier.uri | https://hdl.handle.net/1822/26187 | - |
dc.description | Publicado em "Progress in artificial intelligence : 16th Portuguese Conference on Artificial Intelligence, EPIA 2013...", ISBN 978-3-642-40668-3 | por |
dc.description.abstract | 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. | por |
dc.language.iso | eng | por |
dc.publisher | Springer | por |
dc.rights | restrictedAccess | por |
dc.subject | Project scheduling | por |
dc.subject | SAT | por |
dc.title | Resource constrained project scheduling with general precedence relations optimized with SAT | por |
dc.type | conferencePaper | - |
dc.peerreviewed | yes | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 199 | por |
oaire.citationEndPage | 210 | por |
oaire.citationVolume | 8154 | por |
dc.identifier.doi | 10.1007/978-3-642-40669-0_18 | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | por |
sdum.conferencePublication | PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2013 | por |
Aparece nas coleções: | LES/ALG - Artigos em revistas científicas internacionais com arbitragem |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
81540199.pdf Acesso restrito! | 1,69 MB | Adobe PDF | Ver/Abrir |