Analyzing Read-Once Cutting Plane Proofs in Horn Systems

Document Details

Document Type: Pub Defense Publication
Publication Date: Feb 23, 2022
Source ID: 10.1007/s10817-022-09618-2

Entities

People

K. Subramani
Piotr Wojciechowski
R. Chandrasekaran

Organizations

Air Force Office of Scientific Research