@inproceedings{
    JJN:AIMATH8_ini,
    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.tcs.hut.fi/Publications/info/mjj.JJN:AIMath04.shtml",
    booktitle = "AI\&M 2004, 8th International Symposium on Artificial Intelligence and Mathematics",
    year = "2004",
    month = "January 4--6",
    flags = "SA-53695,public,copy",
    address = "Fort Lauderdale, Florida, USA"
}

AUTHORS:

URL:
http://www.tcs.hut.fi/Publications/info/mjj.JJN:AIMath04.shtml

AUTHORS:

URL: http://www.tcs.hut.fi/Publications/info/mjj.JJN:AIMath04.shtml

URL:
http://www.tcs.hut.fi/Publications/info/mjj.JJN:AIMath04.shtml