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

James M. Crawford Andrew B. Baker

Published in: AAAI (1994)

Keyphrases

scheduling problem
data structure
learning algorithm
computational complexity
computational cost
orders of magnitude
computationally efficient
theoretical analysis
times faster
significant improvement
benchmark datasets
stochastic local search
greedy heuristics