New Results on Cutting Plane Proofs for Horn Constraint Systems

MLA

Kleine Büning, Hans, et al. New Results on Cutting Plane Proofs for Horn Constraint Systems. Jan. 2019. EBSCOhost, https://doi.org/10.4230/lipics.fsttcs.2019.43.

APA

Kleine Büning, H., Wojciechowski, P., & Subramani, K. (2019). New Results on Cutting Plane Proofs for Horn Constraint Systems. https://doi.org/10.4230/lipics.fsttcs.2019.43

Chicago

Kleine Büning, Hans, Piotr Wojciechowski, and K. Subramani. 2019. “New Results on Cutting Plane Proofs for Horn Constraint Systems,” January. doi:10.4230/lipics.fsttcs.2019.43.