Optimum PLA folding through boolean satisfiability.

Jos M. Quintana, Maria J. Avedillo, Maria P. Parra, Jos L. Huertas

Browse the full ASPDAC paper archive.