Lynx: A programmatic SAT solver for the RNA-folding problem (2012)

by Vijay Ganesh, Charles W Odonnell, Mate Soos, Srinivas Devadas, Martin C Rinard, Armando Solar-Lezama
Venue:In SAT