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

Cached

Download Links

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

Document Versions

Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems –James M. Crawford, Andrew B. Baker — 1994 — In Proceedings of the Twelfth National Conference on Artificial Intelligence