Crossmark

Analyzing Read-Once Cutting Plane Proofs in Horn Systems

Published Online: 2022-02-23

Published Print: 2022-05

Authors

Wojciechowski, Piotr

Subramani, K. https://orcid.org/0000-0001-5821-5117
Chandrasekaran, R.
Funding

Funding for this research was provided by:

Air Force Office of Scientific Research (FA9550-19-1-0177)
License Information

Text and Data Mining valid from 2022-02-23

Version of Record valid from 2022-02-23
More Information

Article History

Received: 17 August 2020

Accepted: 29 December 2021

First Online: 23 February 2022

Document is current