Balyo, T.; Barták, R. No One SATPlan Encoding To Rule Them All. SOCS 2021, 6, 146-150.