%0 Journal Article %1 journals/dam/WojciechowskiSW21 %A Wojciechowski, Piotr %A Subramani, K. %A Williamson, Matthew D. %D 2021 %J Discret. Appl. Math. %K dblp %P 272-294 %T Polynomial time algorithms for optimal length tree-like refutations of linear infeasibility in UTVPI constraints. %U http://dblp.uni-trier.de/db/journals/dam/dam305.html#WojciechowskiSW21 %V 305

@article{journals/dam/WojciechowskiSW21, added-at = {2024-02-09T00:00:00.000+0100}, author = {Wojciechowski, Piotr and Subramani, K. and Williamson, Matthew D.}, biburl = {https://www.bibsonomy.org/bibtex/2b79c9de3c734c876d79c33e267a0f642/dblp}, ee = {https://doi.org/10.1016/j.dam.2020.10.016}, interhash = {1b34fbfd3b0c4f9bb5af7e0eb63a2c66}, intrahash = {b79c9de3c734c876d79c33e267a0f642}, journal = {Discret. Appl. Math.}, keywords = {dblp}, pages = {272-294}, timestamp = {2024-04-09T01:26:00.000+0200}, title = {Polynomial time algorithms for optimal length tree-like refutations of linear infeasibility in UTVPI constraints.}, url = {http://dblp.uni-trier.de/db/journals/dam/dam305.html#WojciechowskiSW21}, volume = 305, year = 2021 }