Benoît Denkinger

SAT手法を使ったCGRAsにおけるタスクマッピング改善に関する研究。