A short note on some tractable cases of the satisfiability problem

H van Maaren

    Research output: Contribution to journalArticleScientific

    21 Citations (Scopus)
    Original languageUndefined/Unknown
    Pages (from-to)125-130
    Number of pages6
    JournalInformation and Computation
    Volume158
    Publication statusPublished - 2000

    Keywords

    • ZX Int.klas.verslagjaar < 2002

    Cite this