Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits (2005)
AUTHORS:
Järvisalo Matti
,
Junttila Tommi
,
Niemelä Ilkka
JOURNAL:
Annals of Mathematics and Artificial Intelligence
VOLUME:
44
PAGES:
373--399
URL:
http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s10472-005-7034-1
@article{ JarvisaloJunttilaNiemela:AMAI05, author = {J{\"a}rvisalo, Matti and Junttila, Tommi and Niemel{\"a}, Ilkka}, title = "Unrestricted vs Restricted Cut in a Tableau Method for {B}oolean Circuits", url = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s10472-005-7034-1", journal = "Annals of Mathematics and Artificial Intelligence", number = "4", month = "August", volume = "44", flags = "copy", year = "2005", pages = "373--399" }