"Lynx: A Programmatic SAT Solver for the RNA-Folding Problem."

Vijay Ganesh et al. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics