On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems

Document Details

Document Type: Pub Defense Publication
Publication Date: Jun 01, 2022
Source ID: 10.1007/s10472-022-09800-7

Entities

People

K. Subramani
Piotr Wojciechowski

Organizations

Air Force Office of Scientific Research