Seda Ogrenci Memik, Farzan Fallah. Accelerated SAT-based Scheduling of Control/Data Flow Graphs. In 20th International Conference on Computer Design (ICCD 2002), VLSI in Computers and Processors, 16-18 September 2002, Freiburg, Germany, Proceedings. pages 395, IEEE Computer Society, 2002. [doi]
Abstract is missing.