A hybrid bit-encoding for SAT planning based on clique-partitioning | Publicación