Clause redundancy and preprocessing in maximum satisfiability (Q2104499)

From MaRDI portal
Revision as of 06:54, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Clause redundancy and preprocessing in maximum satisfiability
scientific article

    Statements

    Clause redundancy and preprocessing in maximum satisfiability (English)
    0 references
    0 references
    0 references
    0 references
    7 December 2022
    0 references
    0 references
    maximum satisfiability
    0 references
    clause redundancy
    0 references
    propagation redundancy
    0 references
    preprocessing
    0 references
    0 references
    0 references