Загрузка...

Comparing Integer Linear Programming to SAT-Solving for Hard Problems in Computational and Systems Biology

It is useful to have general-purpose solution methods that can be applied to a wide range of problems, rather than relying on the development of clever, intricate algorithms for each specific problem. Integer Linear Programming is the most widely-used such general-purpose solution method. It is succ...

Полное описание

Сохранить в:
Библиографические подробности
Опубликовано в: :Algorithms for Computational Biology
Главные авторы: Brown, Hannah, Zuo, Lei, Gusfield, Dan
Формат: Artigo
Язык:Inglês
Опубликовано: 2020
Предметы:
Online-ссылка:https://ncbi.nlm.nih.gov/pmc/articles/PMC7197060/
https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-42266-0_6
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!