Balyo, T.; Heule, M.; Jarvisalo, M. SAT Competition 2016: Recent Developments. AAAI 2017, 31.