A two-phase algorithm for solving a class of hard satisfiability problems [niet eerder opgevoerd]

JP Warners, H van Maaren

    Research output: Contribution to journalArticleScientificpeer-review

    32 Citations (Scopus)
    Original languageUndefined/Unknown
    Pages (from-to)81-88
    Number of pages8
    JournalOperations Research Letters
    Volume23
    Publication statusPublished - 1998

    Keywords

    • ZX Int.klas.verslagjaar < 2002

    Cite this