DMCA

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
Citations:1 - 1 self