Satisfiability Modulo Graph Theory for Task Mapping and Scheduling on Multiprocessor Systems.
Weichen LiuZonghua GuJiang XuXiaowen WuYaoyao YePublished in: IEEE Trans. Parallel Distributed Syst. (2011)
Keyphrases
- graph theory
- multiprocessor systems
- graph theoretical
- computer vision and pattern recognition
- social network analysis
- graph theoretic
- access patterns
- communication delays
- automata theory
- graph based representations
- distributed memory
- complex networks
- computational complexity
- maximal cliques
- np complete
- combinatorial optimization
- maximum independent set
- scheduling problem
- cost function