R. Drechsler, T. Junttila, and I. Niemelä. Handbook of Satisfiability, volume 336 of Frontiers in Artificial Intelligence and Applications, IOS Press, (2021)
P. Niemelä, A. Pears, V. Dagiene, and M. Laanpere. OCCE, volume 642 of IFIP Advances in Information and Communication Technology, page 131-143. Springer, (2021)
P. Niemelä, A. Valmari, and S. Ali-Löytty. CSEDU (Selected Papers), volume 1022 of Communications in Computer and Information Science, page 357-383. Springer, (2018)