Lynx: A Programmatic SAT Solver for the RNA-folding Problem

by Vijay Ganesh, Charles W. O’donnell, Mate Soos, Srinivas Devadas, Martin Rinard, O Solar-lezama