LOGICAL REASONING VIA SATISFIABILITY MAPPED INTO ENERGY FUNCTIONS | Publicación