DARN! A weighted constraint solver for RNA motif localization
scientific article; zbMATH DE number 5319044