@article{DBLP:journals/ijrc/IshebabiMBGS09,
  title = {Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs},
  author = {Ishebabi, Harold and Mahr, Philipp and Bobda, Christophe and Gebser, Martin and Schaub, Torsten},
  journal = {Int. J. Reconfig. Comp.},
  pages = {863630:1--863630:11},
  volume = {2009},
  year = {2009}
}