Solving satisfiability problems with preferences (Q606909)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Solving satisfiability problems with preferences
scientific article

    Statements

    title
    Solving satisfiability problems with preferences (English)
    0 references
    author
    Emanuele Di Rosa
    0 references
    Enrico Giunchiglia
    0 references
    Marco Maratea
    0 references
    published in
    Constraints
    0 references
    publication date
    19 November 2010
    0 references
    zbMATH DE Number
    5817468
    0 references
    zbMATH Keywords
    propositional satisfiability
    0 references
    SAT
    0 references
    Davis-Logemann-Loveland procedure
    0 references
    preferences
    0 references
    poset
    0 references
    literals
    0 references
    describes a project that uses
    PBS
    0 references
    MiniMaxSat
    0 references
    Pueblo
    0 references
    CP-nets
    0 references
    MaxSolver
    0 references
    Chaff
    0 references
    MiniSat
    0 references
    OpenAlex ID
    W2051475155
    0 references
    cites work
    Q4817533
    0 references
    Q5715666
    0 references
    Q3429154
    0 references
    Q3624109
    0 references
    Q3624095
    0 references
    Q3429164
    0 references
    Q4804900
    0 references
    Q3396552
    0 references
    Q3429161
    0 references
    Q3682462
    0 references
    Logic Programming
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q606909&oldid=35201012"
    Powered by MediaWiki