T. Balyo, M. Heule, and M. Jarvisalo, “SAT Competition 2016: Recent Developments”, AAAI, vol. 31, no. 1, Feb. 2017.