Optimum PLA folding through boolean satisfiability | Publicación