Relaxations of the satisfiability problem using semidefinite programming

E de Klerk, H van Maaren, JP Warners

    Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

    17 Citations (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationSAT2000: highlights of satisfiability research in the year 2000 [Frontiers in artificial intelligence, vol. 63]
    Editors I Gent, van H Maaren, T Walsh
    Place of PublicationAmsterdam
    PublisherIOS Press
    Pages189-214
    ISBN (Print)1-58603-061-2
    Publication statusPublished - 2000

    Keywords

    • ZX Int.klas.verslagjaar < 2002

    Cite this