Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits

Reference:

Matti Järvisalo, Tommi Junttila, and Ilkka Niemelä. Unrestricted vs restricted cut in a tableau method for Boolean circuits. In AI&M 2004, 8th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, USA, January 4–6 2004.

Suggested BibTeX entry:

@inproceedings{JJN:AIMATH8,
    address = {Fort Lauderdale, Florida, USA},
    author = {Matti J{\"a}rvisalo and Tommi Junttila and Ilkka Niemel{\"a}},
    booktitle = {AI\&M 2004, 8th International Symposium on Artificial Intelligence and Mathematics},
    month = {January 4--6},
    title = {Unrestricted vs Restricted Cut in a Tableau Method for {B}oolean Circuits},
    year = {2004},
}