Relaxations of the satisfiability problem using semidefinite programming

E de Klerk, H van Maaren, JP Warners

    Research output: Contribution to journalArticleScientific

    16 Citations (Scopus)
    Original languageUndefined/Unknown
    Pages (from-to)37-65
    Number of pages29
    JournalJournal of Automated Reasoning
    Volume24
    Publication statusPublished - 2000

    Keywords

    • ZX Int.klas.verslagjaar < 2002

    Cite this