Login / Signup

Polynomial time algorithms for optimal length tree-like refutations of linear infeasibility in UTVPI constraints.

Piotr J. WojciechowskiK. SubramaniMatthew D. Williamson
Published in: Discret. Appl. Math. (2021)
Keyphrases