Proof Logging for the Circuit Constraint.

Matthew J. McIlree, Ciaran McCreesh, Jakob Nordstrm

Browse the full CPAIOR paper archive.