Experimental results on the application of satisfiability algorithms to scheduling problems,” in (1994)

by J Crawford, A Baker
Venue:Proc. Conference on Artificial Intelligence (AAAI),