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: |