A Hybrid Bit-encoding for SAT Planning Based on Clique-Partitioning - SAN SEGUNDO CARRILLO, PABLO; TAPIA GARCIA, CRISTOBAL; Galan Lopez, Ramon (Aip Conference Proceedings, 2017)