Designability of RNA Targets with Up to Two Length-2 Helices
Este artículo demuestra que los objetivos de ARN con como máximo dos hélices máximas de longitud 2 y sin hélices de longitud 1 siguen siendo diseñables bajo el modelo de Watson-Crick de cuatro letras, extendiendo las garantías de separabilidad módulo- existentes mediante una combinación de transferencias de color locales y argumentos de conteo globales, con la prueba formal verificada en Lean 4.