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},
}
|