Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems (1994)

by James M. Crawford, Andrew B. Baker
Venue:In Proceedings of the Twelfth National Conference on Artificial Intelligence