%0 Journal Article %1 journals/ijrc/IshebabiMBGS09 %A Ishebabi, Harold %A Mahr, Philipp %A Bobda, Christophe %A Gebser, Martin %A Schaub, Torsten %D 2009 %J Int. J. Reconfigurable Comput. %K %P 863630:1-863630:11 %T Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs. %U http://dblp.uni-trier.de/db/journals/ijrc/ijrc2009.html#IshebabiMBGS09 %V 2009

@article{journals/ijrc/IshebabiMBGS09, added-at = {2023-12-13T00:01:26.000+0100}, author = {Ishebabi, Harold and Mahr, Philipp and Bobda, Christophe and Gebser, Martin and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/23dd242f4a9064613221fd9b15863eb19/admin}, ee = {https://www.wikidata.org/entity/Q58648090}, interhash = {5db297753a0a966f79d561ee6fdb2769}, intrahash = {3dd242f4a9064613221fd9b15863eb19}, journal = {Int. J. Reconfigurable Comput.}, keywords = {}, pages = {863630:1-863630:11}, timestamp = {2023-12-13T00:01:26.000+0100}, title = {Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs.}, url = {http://dblp.uni-trier.de/db/journals/ijrc/ijrc2009.html#IshebabiMBGS09}, volume = 2009, year = 2009 }