Analyzing Read-Once Cutting Plane Proofs in Horn Systems.

Published in: J. Autom. Reason. (2022)

Keyphrases