T. Balyo and R. Barták, “No One SATPlan Encoding To Rule Them All”, SOCS, vol. 6, no. 1, pp. 146–150, Sep. 2021.