Balyo, Tomáš, and Roman Barták. 2021. “No One SATPlan Encoding To Rule Them All”. Proceedings of the International Symposium on Combinatorial Search 6 (1):146-50. https://doi.org/10.1609/socs.v6i1.18371.