To Encode or to Propagate? The Best Choice for Each Constraint in SAT | Publicación