@incollection{yao:hal-03711828, TITLE = {{Developing complex RNA design applications in the Infrared framework}}, AUTHOR = {Yao, Hua-Ting and Ponty, Yann and Will, Sebastian}, URL = {https://hal.science/hal-03711828}, BOOKTITLE = {{RNA Folding - Methods and Protocols}}, YEAR = {2022}, KEYWORDS = {RNA design ; multi-target design ; declarative modeling ; Boltzmann sampling ; fixed-parameter tractable sampling}, PDF = {https://hal.science/hal-03711828v2/file/infrared-bookchapter.pdf}, HAL_ID = {hal-03711828}, HAL_VERSION = {v2}, }