Großmann, Peter, Steffen Hölldobler et al., ‘Solving Periodic Event Scheduling Problems with SAT’, Advanced Research in Applied Artificial Intelligence, edited by He Jiang, Wei Ding et al., Springer, 2012, pp 166–175.
book chapter · https://doi.org/10.1007/978-3-642-31087-4_18