Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking (2000)
AUTHORS:
Junttila Tommi
,
Niemelä Ilkka
BOOKTITLE:
Proceedings of the First International Conference on Computational Logic, Automated Deduction: Putting Theory into Practice
PAGES:
553--567
@inproceedings{ JN2000:cl, 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", address = "London, U.K.", month = "July", note = "", flags = "copy", year = "2000", organization = "", pages = "553--567" }