Citation
Benders Decomposition in SMT for Rescheduling of Hierarchical Workflow. In proceedings of the 8th Multidisciplinary International Conference on Scheduling : Theory and Applications (MISTA 2017), 05 - 08 Dec 2017, Kuala Lumpur, Malaysia, pages 295-310, 2017.
Paper
Abstract
?????
You can download the pdf of this publication from here
doi
This publication does not have a doi, so we cannot provide a link to the original source
What is a doi?: A doi (Document Object Identifier) is a unique identifier for sicientific papers (and occasionally other material). This provides direct access to the location where the original article is published using the URL http://dx.doi/org/xxxx (replacing xxx with the doi). See http://dx.doi.org/ for more information
URL
This pubication does not have a URL associated with it.
The URL is only provided if there is additional information that might be useful. For example, where the entry is a book chapter, the URL might link to the book itself.
Bibtex
@INPROCEEDINGS{2017-295-310-P, author = {M. Vlk and R. Barták and E. Hebrard},
title = {Benders Decomposition in SMT for Rescheduling of Hierarchical Workflow},
booktitle = {In proceedings of the 8th Multidisciplinary International Conference on Scheduling : Theory and Applications (MISTA 2017), 05 - 08 Dec 2017, Kuala Lumpur, Malaysia},
year = {2017},
editor = {Gunawan A. and G. Kendall and L.L. Soon and B. McCollum and H-V. Seow},
pages = {295--310},
note = {Paper},
abstract = {?????},
owner = {Graham},
timestamp = {2017.12.11},
webpdf = {2017-295-310-P.pdf} }