Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    31 Citations (Scopus)
    Original languageEnglish
    Title of host publication1st International Conference on Computational Logic, CL 2000, London, UK, July 24–28, 2000. Proceedings
    Subtitle of host publicationPutting Theory into Practice
    EditorsJ. Lloyd, V. Dahl, U. Furbach, M. Kerber, K. Lau, C. Palamidessi, L. Pereira, Y. Sagiv, P. Stuckey
    Place of PublicationBerlin, Germany
    ISBN (Electronic)978-3-540-44957-7
    ISBN (Print)978-3-540-67797-0
    Publication statusPublished - 2000
    MoE publication typeA4 Article in a conference publication

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Berlin Heidelberg
    ISSN (Print)0302-9743


    • Boolean circuits
    • satisfiability checking

    Cite this