Solving satisfiability problems using elliptic approximations - effective branching rules

JP Warners, H van Maaren

    Research output: Contribution to journalArticleScientificpeer-review

    9 Citations (Scopus)
    Original languageUndefined/Unknown
    Pages (from-to)241-259
    Number of pages19
    JournalDiscrete Applied Mathematics
    Volume107
    Issue number1
    Publication statusPublished - 2000

    Keywords

    • ZX Int.klas.verslagjaar < 2002

    Cite this