SAT and SMT Are Still Resolution: Questions and Challenges | Publicación