Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems.

James M. Crawford, Andrew B. Baker

Browse the full AAAI paper archive.