Improving Boolean Satisfiability-Based Modulo Scheduling.

Nicolai Fiege, Peter Zipf

Browse the full FPL paper archive.