@article{DBLP:journals/jpdc/BobdaYGIS18, author = {Bobda, Christophe and Yonga, Franck and Gebser, Martin and Ishebabi, Harold and Schaub, Torsten}, title = {High-level synthesis of on-chip multiprocessor architectures based on answer set programming}, journal = {J. Parallel Distrib. Comput.}, volume = {117}, pages = {161--179}, year = {2018} }