Bacchus, F., J. Davies, M. Tsimpoukelli, and G. Katsirelos. “Relaxation Search: A Simple Way of Managing Optional Clauses”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 28, no. 1, June 2014, doi:10.1609/aaai.v28i1.8849.