%0 Journal Article %1 journals/tpds/LiuGXWY11 %A Liu, Weichen %A Gu, Zonghua %A Xu, Jiang %A Wu, Xiaowen %A Ye, Yaoyao %D 2011 %J IEEE Trans. Parallel Distributed Syst. %K dblp %N 8 %P 1382-1389 %T Satisfiability Modulo Graph Theory for Task Mapping and Scheduling on Multiprocessor Systems. %U http://dblp.uni-trier.de/db/journals/tpds/tpds22.html#LiuGXWY11 %V 22

@article{journals/tpds/LiuGXWY11, added-at = {2023-09-30T00:00:00.000+0200}, author = {Liu, Weichen and Gu, Zonghua and Xu, Jiang and Wu, Xiaowen and Ye, Yaoyao}, biburl = {https://www.bibsonomy.org/bibtex/2a2f58a11126f0f2c92dda635c8bc6449/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TPDS.2010.204}, interhash = {6c16503b97107edbfbed1fc0c523f656}, intrahash = {a2f58a11126f0f2c92dda635c8bc6449}, journal = {IEEE Trans. Parallel Distributed Syst.}, keywords = {dblp}, number = 8, pages = {1382-1389}, timestamp = {2024-04-08T18:57:58.000+0200}, title = {Satisfiability Modulo Graph Theory for Task Mapping and Scheduling on Multiprocessor Systems.}, url = {http://dblp.uni-trier.de/db/journals/tpds/tpds22.html#LiuGXWY11}, volume = 22, year = 2011 }