Return to Article Details A SAT-Based Exact Approach for the Minimum Order Frequency Assignment Problem Download Download PDF