Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking (2000)

@inproceedings{
    JN2000:cl_ini,
    author = {Junttila, Tommi and Niemel{\"a}, Ilkka},
    publisher = "Springer-Verlag",
    title = "Towards an Efficient Tableau Method for {Boolean} Circuit Satisfiability Checking",
    booktitle = "Proceedings of the First International Conference on Computational Logic, Automated Deduction: Putting Theory into Practice",
    year = "2000",
    month = "July",
    note = "",
    flags = "copy",
    address = "London, U.K.",
    organization = "",
    pages = "553--567"
}

AUTHORS: