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

Document Details

Document Type
Pub Defense Publication
Publication Date
Dec 01, 2021
Source ID
10.1016/j.dam.2020.10.016

Entities

People

  • K. Subramani
  • Matthew A Williamson
  • Piotr Wojciechowski

Organizations

  • Air Force Office of Scientific Research
  • Air Force Research Laboratory