Unrestricted vs restricted cut in a tableau method for Boolean circuits (2005)

by Matti Järvisalo , Tommi A. Junttila , Ilkka Niemelä
Venue:In: AI&M 2004, 8th International Symposium on Artificial Intelligence and Mathematics
Citations:19 - 4 self