Polynomial time algorithms for optimal length tree-like refutations of linear infeasibility in UTVPI constraints
| Autor: | Wojciechowski, Piotr, Subramani, K., Williamson, Matthew |
|---|---|
| Zdroj: | In Discrete Applied Mathematics 31 December 2021 305:272-294 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect