Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits.

Matti Jrvisalo, Tommi A. Junttila, Ilkka Niemel

Browse the full ISAIM paper archive.