Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub. Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs. Int. J. Reconfig. Comp., 2009, 2009. [doi]
@article{IshebabiMBGS09-0,
title = {Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs},
author = {Harold Ishebabi and Philipp Mahr and Christophe Bobda and Martin Gebser and Torsten Schaub},
year = {2009},
doi = {10.1155/2009/863630},
url = {http://dx.doi.org/10.1155/2009/863630},
researchr = {https://researchr.org/publication/IshebabiMBGS09-0},
cites = {0},
citedby = {0},
journal = {Int. J. Reconfig. Comp.},
volume = {2009},
}