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

Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, Armando Solar-Lezama

Browse the full SAT paper archive.