Comparing Integer Linear Programming to SAT-Solving for Hard Problems in Computational and Systems Biology (Q5041127)
From MaRDI portal
scientific article; zbMATH DE number 7600957
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Comparing Integer Linear Programming to SAT-Solving for Hard Problems in Computational and Systems Biology |
scientific article; zbMATH DE number 7600957 |
Statements
Comparing Integer Linear Programming to SAT-Solving for Hard Problems in Computational and Systems Biology (English)
0 references
13 October 2022
0 references
integer programming
0 references
SAT-solving
0 references
computational biology
0 references
0 references
