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