Optimum PLA folding through boolean satisfiability. - José M. Quintana; Maria J. Avedillo; Maria P. Parra; José L. Huertas (ASP-DAC, 1995)