Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits

Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä. Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits. In AI&M 1-2004, Eighth International Symposium on Artificial Intelligence and Mathematics, January 4-6, 2004, Fort Lauderdale, Florida, USA. 2004. [doi]

Abstract

Abstract is missing.