Solving hard industrial combinatorial problems with SAT | Publicación