Regular-SAT: A many-valued approach to solving combinatorial problems | Publicación